(capability
  :action move
  :state-language fopl
  :input ((Thing ?thing)(From ?p1)(To ?p2))
  :input-constraints (
    (Has Location ?thing ?p1))
  :output-constraints (
    (not (Has Location ?thing ?p1))
    (Has Location ?thing ?p2)))
