This non-terminal takes a non-terminal or a grammar rule body and parses it using the implicit difference list of tokens. A common use is to wrap what otherwise would be a naked variable in a grammar rule body.
Modes and number of proofs¶
phrase(+callable) - zero_or_more
NonTerminalis a variable:
NonTerminalis neither a variable nor a callable term: