;;-*-Lisp-*-
(in-package goal)
;; name: sunken-obs.gc
;; name in dgo: sunken-obs
;; dgos: L1, SUN, SUNKEN