(def call-lift-ops
  '{call-lift {:pre((agent ?agent)
                     (lift ?lift)
                     (floor ?floor)
                     (floor ?floor2)
                     (at ?floor ?lift)
                     (at ?floor2 ?agent)
                   )
            :add ((waiting ?agent))
            :del ((at ?floor ?lift))
            :txt (call-lift from ?floor to ?floor2 by ?agent)
            :cmd [call-lift ?lift]
            }
    })

(def call-lift-state
  '#{(agent agent)
     (lift lift)
     (floor floor)
     (floor floor2)
     (at floor lift)
     (at floor2 agent)
     })

(ops-search call-lift-state '((waiting agent)) call-lift-ops)