| "inversion" :: tl -> k T.OK ("inversions" :: outs) tl
| "constructions" :: tl -> k T.OK ("constructions" :: outs) tl
| "properties" :: tl -> k T.OK ("constructions" :: outs) tl
| "inversion" :: tl -> k T.OK ("inversions" :: outs) tl
| "constructions" :: tl -> k T.OK ("constructions" :: outs) tl
| "properties" :: tl -> k T.OK ("constructions" :: outs) tl