Property information
c involved_in p if and only if c enables some process p', and p' is part of p
c involved_in p if and only if c enables some process p', and p' is part of p