- | label_edge_L โ lift_gen (A) (ฮปg,p. k g (๐โp)) (โซฏf) q
- | label_edge_A โ lift_gen (A) (ฮปg,p. k g (๐โp)) f q
- | label_edge_S โ lift_gen (A) (ฮปg,p. k g (๐ฆโp)) f q
+ | label_m โ lift_gen (A) k f q
+ | label_L โ lift_gen (A) (ฮปg,p. k g (๐โp)) (โซฏf) q
+ | label_A โ lift_gen (A) (ฮปg,p. k g (๐โp)) f q
+ | label_S โ lift_gen (A) (ฮปg,p. k g (๐ฆโp)) f q