#.model player
#.state st1 = state:BALL
#.negfair
#.subsets {st1}
#.endfair
#.endmodel
!(player_A.state=BALL);
!(player_B.state=BALL);