Nodes as predicate definitions, supporting node calls and condacts