Facts 4
q
a
b
c
Actions 3
1: q => -q + a
1: a => -a + b
1: b => -b + c
Initial state
q
Goal state
-q + c