Reads what a BIND expression hands down.
TRIPLE(?a, ?b, ?c) and its <<( ?a ?b ?c )>> spelling are the same construction: only the first is an operator, the second parsing to a term expression holding a quad with variables in it.
TRIPLE(?a, ?b, ?c)
<<( ?a ?b ?c )>>
The expression of the EXTEND
the source, or undefined for a compound expression the conjunction cannot name
undefined
Reads what a BIND expression hands down.
TRIPLE(?a, ?b, ?c)and its<<( ?a ?b ?c )>>spelling are the same construction: only the first is an operator, the second parsing to a term expression holding a quad with variables in it.