u0(b_0, track_0_target, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime) :- b_0=0, track_0_target=0, track_0_SUPER_ROLE=0, track_0_ToCheckRole=0, track_0_TargetPrime=0. u0(b_0_1, track_0_target, track_0_SUPER_ROLE_1, track_0_ToCheckRole_1, track_0_TargetPrime) :- u0(b_0, track_0_target, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=0, b_0_1=1, track_0_target=0, track_0_SUPER_ROLE=0, track_0_SUPER_ROLE_1=1, track_0_ToCheckRole=0, track_0_ToCheckRole_1=1, track_0_TargetPrime=0. u0(b_0_1, track_0_target, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime) :- u0(b_0, track_0_target, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=0, b_0_1=1, track_0_target=0, track_0_SUPER_ROLE=0, track_0_ToCheckRole=0, track_0_TargetPrime=0. u0(b_0, track_0_target, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime_1) :- u0(b_0, track_0_target, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_ToCheckRole=1, u0(b_0, track_0_target, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b0=1, track_0_target=1, track_0_ToCheckRole=1, track_0_TargetPrime_1=1. false :- u0(b_0, track_0_target, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_TargetPrime=1.