;;-*-Lisp-*-
;; GOAL Data Description File
;; name: tpage-521.gd
;; name in dgo: tpage-521
;; dgos: MIS