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