alpha=(T at u, F at v)
 O a (0.0, 1.0)
 O not a (0.0, 1.0)
 P a (1.0, 0.0)
 P not a (1.0, 0.0)
alpha=(B at u, T at v)
 O a (1.0, 1.0)
 O not a (0.0, 1.0)
 P a (1.0, 0.0)
 P not a (1.0, 1.0)
6.1 O r (1.0, 1.0)
6.1 O not r (1.0, 1.0)
6.1 O q (0.0, 1.0)
M1
 (1) O g (1.0, 0.0)
 (2) O(g->s) (1.0, 1.0)
 (3) g v O-s (1.0, 1.0)
 (4) not g (1.0, 0.0)
 O s (1.0, 1.0)
 O q (0.0, 1.0)
M2
 (1) O g (1.0, 1.0)
 (2) O(g->s) (1.0, 1.0)
 (3) g v O-s (1.0, 0.0)
 (4) not g (1.0, 0.0)
 O s (0.0, 1.0)
 O q (0.0, 1.0)
soft R  O phi (0.25, 0.5)
p & p at (0.5,0): [0.0, 0.0]
