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