part of participates in enables involved in c involved_in p if and only if c enables some process p', and p' is part of p involved in or involved in regulation of