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