(Exhaustive-Subclass-Partition Epml-Effect (Setof Epml-Output-Activity-Status-Constraint Epml-Output-Resource-Success-Status-Constraint Epml-Output-Resource-Failure-Status-Constraint))