Property information
This property is obsolete
x has participant y if and only if x realizes some active role that inheres in y
OBSOLETE x has participant y if and only if x realizes some active role that inheres in y
x has participant y if and only if x realizes some active role that inheres in y
OBSOLETE x has participant y if and only if x realizes some active role that inheres in y