(define-fuzzy-logic zadeh)
(implies B A 0.8)
(define-primitive-concept A *top* )
(define-primitive-concept B *top* )
