other,24-2-P85-1015,ak | can be used in conjunction with a <term> | proof procedure | </term> to create a <term> parser </term> for | #15814 These discontinuous constituents can be described by a variant of definite clause grammars, and these grammars can be used in conjunction with a proof procedure to create a parser for non-configurational languages. |