"If Rel is the relational form of a process Pr, then it follow that: Rel(x,y) <-> exists p : Pr(p), x partner-in p, y partner-in p" . "is symmetric relational form of process class" . . "https://github.com/oborel/obo-relations/wiki/InteractionRelations"^^ . .