source: vis_dev/vis-2.1/examples/ping_pong/prop1.fair @ 14

#.include ping_pong.fair
!(player_A.state=BALL);
!(player_B.state=BALL);

# begin fairness constraints on monitor nnb. 
# The fairness constraints allow only bad behavior.

(nnb.state = BAD);