OCCLIST : ARGTYPE

OCCLIST is an argument type.

A list of occurrences (counted left-to-right) of a subwff in a wff.

ALL refers to all occurrences of the subwff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage