PRODIGY Goals

• (TOWN-CENTER-SECURE-AT BOSNIA)
• (EXISTS ((<M-P> MILITARY-POLICE)) (IS-DEPLOYED <M-P> BOSNIA))
• (EXISTS ((<A> A10A)) (IS-DEPLOYED <A> BOSNIA)))
• (AIRPORT-SECURE-AT BOSNIA)

Correspondence: mcox+@cs.cmu.edu

Last Edited: July 24, 1996