;-*-Lisp-*-
(in-package goal)

;; name: ogre-obs.gc
;; name in dgo: ogre-obs
;; dgos: L1, OGR