Property information
This property is obsolete
OBSOLETE x actively participates in y if and only if x participates in y and x realizes some active role
x actively participates in y if and only if x participates in y and x realizes some active role