;;-*-Lisp-*- (in-package goal) ;; name: drillmid-obs.gc ;; name in dgo: drillmid-obs ;; dgos: DMI ;; DECOMP BEGINS