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