u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- b_0=0, track_0_Patient=0, track_0_PrimaryDoctor=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- b_1=0, track_1_Patient=0, track_1_PrimaryDoctor=0, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Patient=0, track_0_PrimaryDoctor=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Patient=0, track_1_PrimaryDoctor=0, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Patient=0, track_0_PrimaryDoctor=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Patient=0, track_1_PrimaryDoctor=0, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE_1) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Patient=0, track_0_PrimaryDoctor=0, track_0_target=0, track_0_SUPER_ROLE=0, track_0_SUPER_ROLE_1=1. u1(b_1_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE_1) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Patient=0, track_1_PrimaryDoctor=0, track_1_target=0, track_1_SUPER_ROLE=0, track_1_SUPER_ROLE_1=1. u0(b_0_1, track_0_Patient, track_0_PrimaryDoctor_1, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Patient=0, track_0_PrimaryDoctor=0, track_0_PrimaryDoctor_1=1, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Patient, track_1_PrimaryDoctor_1, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Patient=0, track_1_PrimaryDoctor=0, track_1_PrimaryDoctor_1=1, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Patient, track_0_PrimaryDoctor_1, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Patient=0, track_0_PrimaryDoctor=0, track_0_PrimaryDoctor_1=1, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Patient, track_1_PrimaryDoctor_1, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Patient=0, track_1_PrimaryDoctor=0, track_1_PrimaryDoctor_1=1, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Patient_1, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Patient=0, track_0_Patient_1=1, track_0_PrimaryDoctor=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Patient_1, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Patient=0, track_1_Patient_1=1, track_1_PrimaryDoctor=0, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0_1, track_0_Patient_1, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_Patient=0, track_0_Patient_1=1, track_0_PrimaryDoctor=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_Patient_1, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_Patient=0, track_1_Patient_1=1, track_1_PrimaryDoctor=0, track_1_target=0, track_1_SUPER_ROLE=0. u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target_1, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Patient=1, track_0_PrimaryDoctor=1, track_0_target_1=1. u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target_1, track_0_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Patient=1, track_0_PrimaryDoctor=1, track_0_target_1=1. u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target_1, track_1_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Patient=1, track_1_PrimaryDoctor=1, track_1_target_1=1. u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target_1, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Patient=1, track_1_PrimaryDoctor=1, track_1_target_1=1. u0(b_0, track_0_Patient, track_0_PrimaryDoctor_1, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Patient=0, track_0_PrimaryDoctor_1=1. u0(b_0, track_0_Patient, track_0_PrimaryDoctor_1, track_0_target, track_0_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Patient=0, track_0_PrimaryDoctor_1=1. u1(b_1, track_1_Patient, track_1_PrimaryDoctor_1, track_1_target, track_1_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Patient=0, track_1_PrimaryDoctor_1=1. u1(b_1, track_1_Patient, track_1_PrimaryDoctor_1, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Patient=0, track_1_PrimaryDoctor_1=1. u0(b_0, track_0_Patient_1, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Patient_1=1, track_0_PrimaryDoctor=0. u0(b_0, track_0_Patient_1, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Patient_1=1, track_0_PrimaryDoctor=0. u1(b_1, track_1_Patient_1, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Patient_1=1, track_1_PrimaryDoctor=0. u1(b_1, track_1_Patient_1, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Patient_1=1, track_1_PrimaryDoctor=0. u0(b_0, track_0_Patient, track_0_PrimaryDoctor_1, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PrimaryDoctor=1, track_0_PrimaryDoctor_1=0. u0(b_0, track_0_Patient, track_0_PrimaryDoctor_1, track_0_target, track_0_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PrimaryDoctor=1, track_0_PrimaryDoctor_1=0. u1(b_1, track_1_Patient, track_1_PrimaryDoctor_1, track_1_target, track_1_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PrimaryDoctor=1, track_1_PrimaryDoctor_1=0. u1(b_1, track_1_Patient, track_1_PrimaryDoctor_1, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PrimaryDoctor=1, track_1_PrimaryDoctor_1=0. u0(b_0, track_0_Patient_1, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Patient=1, track_0_Patient_1=0. u0(b_0, track_0_Patient_1, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_Patient=1, track_0_Patient_1=0. u1(b_1, track_1_Patient_1, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Patient=1, track_1_Patient_1=0. u1(b_1, track_1_Patient_1, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_Patient=1, track_1_Patient_1=0. false :- u0(b_0, track_0_Patient, track_0_PrimaryDoctor, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_target=1. false :- u1(b_1, track_1_Patient, track_1_PrimaryDoctor, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_target=1.