Index - L
| lengthSList | Data.SOP.Sing, Data.SOP | 
| liftA2_NP | Data.SOP.NP | 
| liftA2_NS | Data.SOP.NS | 
| liftA2_POP | Data.SOP.NP | 
| liftA2_SOP | Data.SOP.NS | 
| liftA3_NP | Data.SOP.NP | 
| liftA3_POP | Data.SOP.NP | 
| liftA_NP | Data.SOP.NP | 
| liftA_NS | Data.SOP.NS | 
| liftA_POP | Data.SOP.NP | 
| liftA_SOP | Data.SOP.NS | 
| LiftedCoercible | Data.SOP.Constraint, Data.SOP |