

and_joint_axiom(Before, After, BeforeState/AfterState) :-
    all_triggered_completed(Before), 
    trigger_all_process(After). 
