(FOO
 (1 1 (:TYPE-PRESCRIPTION FOO))
 )
(BAR
 (1 1 (:TYPE-PRESCRIPTION BAR))
 )
(H1
 (1 1 (:TYPE-PRESCRIPTION H1))
 )
(RULE-1
 (9 3 (:TYPE-PRESCRIPTION H1))
 (6 3 (:TYPE-PRESCRIPTION FOO))
 (3 3 (:TYPE-PRESCRIPTION BAR))
 )
(RULE-2
 (6 3 (:TYPE-PRESCRIPTION FOO))
 (3 3 (:TYPE-PRESCRIPTION BAR))
 )
(UGLY-SUCCESS)
(RULE-1-BETTER
 (3 3 (:TYPE-PRESCRIPTION H1))
 )
(PRETTY-SUCCESS)
