(define-primitive-concept Customer0)
(define-primitive-concept Service0)
(define-primitive-concept Department0)
(define-primitive-concept PrDept0)
(define-primitive-concept Customer1)
(define-primitive-concept Department1)
(define-primitive-concept String)
(define-primitive-concept Customer2)
(define-primitive-concept Service2)
(define-primitive-concept Department2)
(define-primitive-concept CONTRACT0)
(define-primitive-concept REGAT0)
(define-primitive-concept REGAT1)
(define-primitive-concept PROMOTION1)
(define-primitive-concept LOCATION1)
(define-primitive-concept CONTRACT2)
(define-primitive-concept Top1)
(define-primitive-concept Top2)
(define-primitive-concept Top3)

(define-primitive-attribute U1)
(define-primitive-attribute U2)
(define-primitive-attribute U3)

(implies Customer0  Top1 )
(implies Service0  Top1 )
(implies Department0  Top1 )
(implies PrDept0  Top1 )
(implies Customer1  Top1 )
(implies Department1  Top1 )
(implies String  Top1 )
(implies Customer2  Top1 )
(implies Service2  Top1 )
(implies Department2  Top1 )
(implies CONTRACT0  Top3 )
(implies REGAT0  Top2 )
(implies REGAT1  Top2 )
(implies PROMOTION1  Top2 )
(implies LOCATION1  Top2 )
(implies CONTRACT2  Top3 )
(implies CONTRACT0  (and (and Top3 (all U1 Customer0 ))(and Top3 (all U2 Service0 ))(and Top3 (all U3 Department0 ))))
(implies REGAT0  (and (and Top2 (all U1 Customer0 ))(and Top2 (all U2 Department0 ))))
(implies PrDept0  Department0 )
(implies REGAT1  (and (and Top2 (all U1 Customer1 ))(and Top2 (all U2 Department1 ))))
(implies PROMOTION1  REGAT1 )
(implies LOCATION1  (and (and Top2 (all U1 Department1 ))(and Top2 (all U2 String ))))
(implies Department1  (some (inv U1) LOCATION1 ))
(implies CONTRACT2  (and (and Top3 (all U1 Customer2 ))(and Top3 (all U2 Service2 ))(and Top3 (all U3 Department2 ))))
(implies Department1  PrDept0 )
(implies PrDept0  Department1 )
(implies REGAT1  REGAT0 )
(implies Customer1  (and Customer0 (some (inv U1) (and REGAT0 (and Top2 (all U2 PrDept0 ))))))
(implies (and Customer0 (some (inv U1) (and REGAT0 (and Top2 (all U2 PrDept0 ))))) Customer1 )
(implies (and Customer0 (some (inv U1) CONTRACT0 )) (some (inv U1) PROMOTION1 ))
(implies Customer2  (and Customer0 (some (inv U1) CONTRACT0 )))
(implies Department2  Department0 )
(implies Service2  Service0 )
(implies Service0  Service2 )
(implies Customer1  Customer2 )
(implies Customer2  Customer1 )
(implies Department1  Department2 )
(implies Department2  Department1 )
(implies Top2  (and (some U1 Top1 )(some U2 Top1 )))
(implies Top2  (and (all U3 *bottom* )))
(implies Top3  (and (some U1 Top1 )(some U2 Top1 )(some U3 Top1 )))
(implies Top1  (and (all U1 *bottom* )(all U2 *bottom* )(all U3 *bottom* )))