(F
 (1 1 (:TYPE-PRESCRIPTION F))
 )
(G
 (1 1 (:TYPE-PRESCRIPTION G))
 )
(H
 (1 1 (:TYPE-PRESCRIPTION H))
 )
(G2
 (1 1 (:TYPE-PRESCRIPTION G2))
 )
(H2
 (1 1 (:TYPE-PRESCRIPTION H2))
 )
(G3
 (1 1 (:TYPE-PRESCRIPTION G3))
 )
(H3
 (1 1 (:TYPE-PRESCRIPTION H3))
 )
