other,13-2-C94-1077,ak | <term> partial instantiation </term> of <term> | clauses | </term> in a program roughly corresponding | #26789 It is also a drastic generalization of chart Parsing, partial instantiation of clauses in a program roughly corresponding to arcs in a chart. |