(<=> (and (holds ?REL ?INST1 ?INST2 ?INST3 ?INST4 ?INST5) (instance ?REL QuaternaryFunction)) (equal (AssignmentFn ?REL ?INST1 ?INST2 ?INST3 ?INST4) ?INST5))