class interface PREDICATE[B,O->TUPLE]
--
-- A PREDICATE is a FUNCTION with a BOOLEAN result type. As in other agent's definitions, B is the base type (i.e. a type of
-- compatible with the target of the delayed call) and O represents open arguments (i.e. arguments which are delayed).
--
feature(s) from ROUTINE
call (o: O)
-- Call feature with all its operands, using o for the open operands.
feature(s) from FUNCTION
item (o: O): R
-- Result of calling feature with all its operands, using o for the open operands.
end of PREDICATE[B,O->TUPLE]