Pelican Hunters
Rules State History



u.∀v.∀x.∀y.(cell(x,u) ∧ cell(y,v) ∧ player(v) ⇒ ¬move(u,x,y))
w.∀x.∀y.∀z.(cell(x,w) ∧ cell(y,z) ∧ hoard(w,z) ⇒ ¬move(w,x,y))
w.∀x.∀y.∀z.(cell(x,w) ∧ king(x,y) ∧ cell(y,pelican) ∧ ¬cell(z,pelican) ⇒ ¬move(w,x,z))