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.