# preferred axioms agent 1 -1 # preferred axioms agent 2 -1 # importance agent 1 2 # importance agent 2 1 # maximum number of turns 1000