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