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