Property information
definition
p acts on population of c iff c' is a collection, has members of type c, and p has participant c