(FOO)
(NATP-OF-FOO)
(NATP-OF-FOO-SQUARED)
(NATP-OF-FOO-CUBED)
(BAR)
(NATP-OF-BAR-SQUARED)
(NATP-OF-BAR-CUBED)
(BAR)
(NATP-OF-BAR-SQUARED)
(NATP-OF-BAR-CUBED)
(BAR)
(H
 (1 1 (:TYPE-PRESCRIPTION H))
 )
(NATP-OF-BAR-SQUARED)
(NATP-OF-BAR-CUBED)
(BAR)
(NATP-OF-BAR-SQUARED)
(NATP-OF-BAR-CUBED
 (1 1 (:TYPE-PRESCRIPTION NONNEGATIVE-PRODUCT))
 )
(BAR)
(BAR)
(H
 (1 1 (:TYPE-PRESCRIPTION H))
 )
(NATP-OF-BAR-SQUARED)
(SIMPLE)
(BAR)
(H
 (1 1 (:TYPE-PRESCRIPTION H))
 )
(NATP-OF-BAR-SQUARED)
(NATP-OF-BAR-CUBED)
