***** Sample Prodigy Operator *******<BR>

(OPERATOR CONDUCT-NEO
  (params <loc>)
  (preconds
   (
    (<loc> COUNTRY) 
    (<new-loc> (and LOCATION (diff <loc> <new-loc>)))
    )
   (and
    (forall ((<citizen> (and POPULATION
			     (gen-from-pred (citizen-of-US <citizen>))
			     (gen-from-pred (loc-at-p <citizen> <loc>)))))
	       (loc-at-p <citizen> <new-loc>))
    (forall ((<foreign-country> (and COUNTRY 
					(diff <foreign-country> <loc>)
					(diff <foreign-country> 'US)))
		(<foreign-national> (and POPULATION
				(gen-from-pred 
				 (citizen-of <foreign-country> 
					     <foreign-national>))
				(gen-from-pred (loc-at-p <foreign-national> <loc>))
				(gen-from-pred
				 (member-of <foreign-country> 
					    designated-foreign-national-countries)))))
	       (loc-at-p <foreign-national> <new-loc>))
    )
   )
  (effects
   ()
  ((add  (is-evacuated <loc>))))
  )




(OPERATOR EVACUATE-NON-COMBATANTS-BY-AIRLIFT
  (params <perimeter> <airport> <transport> <new-loc> <citizen>)
  (preconds
   ((<loc> COUNTRY)
    (<new-loc> (and COUNTRY 
			 (diff <loc> <new-loc>)))
    (<home-country> (and COUNTRY 
			 (diff <loc> <home-country>)))
    (<perimeter> LOCATION)
    (<airport> AIRPORT)
    (<transport> AIRLIFT)
    )
   (and
    (loc-at <perimeter> <loc>)
    (loc-at <airport> <loc>)
    (near <airport> <perimeter>)
    (is-deployed <transport> <loc>)
    (is-secure <perimeter>)
    )
   )
  (effects
   ((<citizen> POPULATION))
  ((if (and (loc-at-p <citizen> <loc>) (citizen-of <home-country> <citizen>))
   ((add  (loc-at-p <citizen> <new-loc>))
    (del  (loc-at-p <citizen> <loc>))))))
  )