ANY NONE
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]