(achieve
  :receiver ec 
  :ontology OPlan 
  :language CDL
  :content
    (capability
      :state-language fopl
      :input ((BrokenMachine ?machine))
      :input-constraints (
        (elt ?machine Generator)
        (Is ?machine Broken)
        (Has Location ?machine MyIsland))
      :output-constraints (
        (not (Is ?machine Broken)))))
