Property information
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