u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE) :- b_0=0, track_0_Nurse=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE) :- b_1=0, track_1_Nurse=0, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Nurse, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Nurse=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Nurse=0, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Nurse, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Nurse=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Nurse=0, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Nurse, track_0_target, track_0_SUPER_ROLE_1) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Nurse=0, track_0_target=0, track_0_SUPER_ROLE=0, track_0_SUPER_ROLE_1=1. u1(b_1_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE_1) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Nurse=0, track_1_target=0, track_1_SUPER_ROLE=0, track_1_SUPER_ROLE_1=1. u0(b_0_1, track_0_Nurse_1, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Nurse=0, track_0_Nurse_1=1, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Nurse_1, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Nurse=0, track_1_Nurse_1=1, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Nurse_1, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Nurse=0, track_0_Nurse_1=1, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Nurse_1, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Nurse=0, track_1_Nurse_1=1, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0, track_0_Nurse, track_0_target_1, track_0_SUPER_ROLE) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Nurse=1, track_0_target_1=1. u0(b_0, track_0_Nurse, track_0_target_1, track_0_SUPER_ROLE) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Nurse=1, track_0_target_1=1. u1(b_1, track_1_Nurse, track_1_target_1, track_1_SUPER_ROLE) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Nurse=1, track_1_target_1=1. u1(b_1, track_1_Nurse, track_1_target_1, track_1_SUPER_ROLE) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Nurse=1, track_1_target_1=1. u0(b_0, track_0_Nurse_1, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Nurse=1, track_0_Nurse_1=0. u0(b_0, track_0_Nurse_1, track_0_target, track_0_SUPER_ROLE) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Nurse=1, track_0_Nurse_1=0. u1(b_1, track_1_Nurse_1, track_1_target, track_1_SUPER_ROLE) :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Nurse=1, track_1_Nurse_1=0. u1(b_1, track_1_Nurse_1, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Nurse=1, track_1_Nurse_1=0. false :- u0(b_0, track_0_Nurse, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_target=1. false :- u1(b_1, track_1_Nurse, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_target=1.