(<=> (Participant-Function-Total-On ?Function ?Class) (And (Participant-Function ?Function) (Class ?Class) (Total-On ?Function ?Class)))
(=> (Participant-Function-Total-On $X $Y) (Class $Y)) (=> (Participant-Function-Total-On $X $Y) (Participant-Function $X)) (<=> (Participant-Function-Total-On ?Function ?Class) (And (Participant-Function ?Function) (Class ?Class) (Total-On ?Function ?Class)))