***** Sample Prodigy Operator *******
(OPERATOR CONDUCT-NEO (params ) (preconds ( ( COUNTRY) ( (and LOCATION (diff ))) ) (and (forall (( (and POPULATION (gen-from-pred (citizen-of-US )) (gen-from-pred (loc-at-p ))))) (loc-at-p )) (forall (( (and COUNTRY (diff ) (diff 'US))) ( (and POPULATION (gen-from-pred (citizen-of )) (gen-from-pred (loc-at-p )) (gen-from-pred (member-of designated-foreign-national-countries))))) (loc-at-p )) ) ) (effects () ((add (is-evacuated )))) ) (OPERATOR EVACUATE-NON-COMBATANTS-BY-AIRLIFT (params ) (preconds (( COUNTRY) ( (and COUNTRY (diff ))) ( (and COUNTRY (diff ))) ( LOCATION) ( AIRPORT) ( AIRLIFT) ) (and (loc-at ) (loc-at ) (near ) (is-deployed ) (is-secure ) ) ) (effects (( POPULATION)) ((if (and (loc-at-p ) (citizen-of )) ((add (loc-at-p )) (del (loc-at-p )))))) )