| "FUNCTIONS" :: tl -> k T.OK ("FUNCTIONS" :: outs) tl
| "RELATIONS" :: tl -> k T.OK ("RELATIONS" :: outs) tl
| "GROUND" :: "NOTATION" :: tl -> k T.OK ("NOTATION" :: "GROUND" :: outs) tl
| "FUNCTIONS" :: tl -> k T.OK ("FUNCTIONS" :: outs) tl
| "RELATIONS" :: tl -> k T.OK ("RELATIONS" :: outs) tl
| "GROUND" :: "NOTATION" :: tl -> k T.OK ("NOTATION" :: "GROUND" :: outs) tl