(DEFINE-PRIMITIVE-ROLE R1 :PARENTS R7) 
(DEFINE-PRIMITIVE-ATTRIBUTE R2) 
(DEFINE-PRIMITIVE-ROLE R3) 
(DEFINE-PRIMITIVE-ROLE R4 :PARENTS R7) 
(DEFINE-PRIMITIVE-ATTRIBUTE R5 :PARENTS R7) 
(DEFINE-PRIMITIVE-ROLE R6) 
(DEFINE-PRIMITIVE-ROLE R7) 
(DEFINE-PRIMITIVE-ROLE R8 :PARENTS R7) 
(DEFINE-PRIMITIVE-ROLE R9) 
(DEFINE-PRIMITIVE-ROLE R10) 
(DEFINE-PRIMITIVE-ATTRIBUTE R11) 
(DEFINE-PRIMITIVE-ROLE R12 :PARENTS R7) 
(DEFINE-PRIMITIVE-ROLE R13) 
(DEFINE-PRIMITIVE-ROLE R14) 
(DEFINE-PRIMITIVE-ATTRIBUTE R15) 
(DEFINE-PRIMITIVE-ROLE R16 :PARENTS R7) 
(DEFINE-PRIMITIVE-ROLE R17) 
(DEFINE-PRIMITIVE-ROLE R18 :PARENTS R7) 
(DEFINE-PRIMITIVE-ROLE R19 :PARENTS R7) 
(DEFINE-PRIMITIVE-ROLE R20 :PARENTS R7) 
(DEFINE-PRIMITIVE-ATTRIBUTE R21) 
(DEFINE-PRIMITIVE-ROLE R22 :PARENTS R7) 
(DEFINE-PRIMITIVE-ATTRIBUTE R23) 
(DEFINE-PRIMITIVE-ATTRIBUTE R24) 
(DEFINE-PRIMITIVE-ATTRIBUTE R25) 
(DEFINE-PRIMITIVE-ROLE R26 :PARENTS R7) 
(DEFINE-PRIMITIVE-ROLE R27 :PARENTS R7) 
(DEFINE-PRIMITIVE-ROLE R28) 
(DEFINE-PRIMITIVE-ROLE R29) 
(IMPLIES (AND (SOME R9 C21) (SOME R28 C19)) C9) 
(IMPLIES *TOP* (ALL R15 C215)) 
(IMPLIES *TOP* (ALL R21 C215)) 
(IMPLIES *TOP* (ALL R11 C215)) 
(IMPLIES *TOP* (ALL R2 C215)) 
(IMPLIES *TOP* (ALL R25 C215)) 
(IMPLIES *TOP* (ALL R24 C215)) 
(IMPLIES *TOP* (ALL R5 C75)) 
(IMPLIES *TOP* (ALL R12 C11)) 
(IMPLIES *TOP* (ALL R18 C217)) 
(IMPLIES *TOP* (ALL R20 C115)) 
(IMPLIES *TOP* (ALL R19 C29)) 
(IMPLIES *TOP* (ALL R26 C219)) 
(IMPLIES *TOP* (ALL R1 C79)) 
(IMPLIES *TOP* (ALL R8 C221)) 
(IMPLIES *TOP* (ALL R16 C67)) 
(IMPLIES *TOP* (ALL R27 C57)) 
(IMPLIES *TOP* (ALL R4 C39)) 
(IMPLIES *TOP* (ALL R22 C223)) 
(IMPLIES (AND C55 C111) C51) 
(IMPLIES (AND C73 (SOME R16 (ALL R25 (OR C149 C177))) (SOME R12 (ALL R21 (OR C149 C177))) (SOME R12 (ALL R24 (OR C149 C177))) (SOME R4 C33)) C13) 
(IMPLIES (AND C97 (ALL R16 C95) (ALL R12 C105) (AT-LEAST 2 R1) (ALL R1 C145) (ALL R4 C33) (SOME R5 *TOP*) (SOME R23 C93)) C13) 
(IMPLIES C11 (OR C129 C127)) 
(IMPLIES (OR C129 C127) C11) 
(IMPLIES C9 (AND (ALL R10 C67) (SOME R9 C21))) 
(IMPLIES (AND (ALL R10 C67) (SOME R9 C21)) C9) 
(IMPLIES C5 (NOT C7)) 
(IMPLIES C7 (NOT C5)) 
(IMPLIES C9 (AND (SOME R9 C21) (SOME R28 C19))) 
(IMPLIES C11 (AND (SOME R15 *TOP*) (SOME R24 *TOP*) (SOME R21 *TOP*))) 
(IMPLIES C13 (OR C97 C73)) 
(IMPLIES C15 (AND (NOT C117) (NOT C115) (NOT C31) (NOT C21) (NOT C113) (NOT C111))) 
(DEFINE-CONCEPT C17 (OR C119 C113)) 
(DEFINE-CONCEPT C19 (SOME R29 C17)) 
(DEFINE-CONCEPT C21 (OR C123 C121)) 
(DEFINE-CONCEPT C23 (AND C9 (SOME R13 C67) (ALL R9 C121))) 
(DEFINE-CONCEPT C25 (AND C9 (SOME R14 C67) (ALL R9 C123))) 
(DEFINE-CONCEPT C27 (AND (SOME R27 *TOP*) (SOME R4 *TOP*) (SOME R22 *TOP*) (AT-LEAST 2 R26) (SOME R16 *TOP*) (SOME R8 *TOP*) (AT-LEAST 2 R12) (AT-MOST 3 R12) (SOME R12 C129) (SOME R12 C127) (SOME R19 C125))) 
(DEFINE-CONCEPT C29 (OR C125 C131)) 
(DEFINE-CONCEPT C31 (AND (ALL R10 C39) (SOME R9 C133))) 
(DEFINE-CONCEPT C33 (AND C39 C135)) 
(DEFINE-CONCEPT C35 (AND C39 C137)) 
(DEFINE-CONCEPT C37 (AND C39 C139)) 
(DEFINE-CONCEPT C39 (SOME R7 C141)) 
(DEFINE-CONCEPT C41 (AND C55 (SOME R16 C59) (AT-LEAST 3 R12) (AT-MOST 3 R12))) 
(DEFINE-CONCEPT C43 (AND C47 (SOME R16 C61))) 
(DEFINE-CONCEPT C45 (AND C47 (SOME R16 C63) (SOME R4 C35))) 
(DEFINE-CONCEPT C47 (AND C55 (SOME R16 (SOME R18 *TOP*)) (SOME R1 C145) (SOME R1 C143))) 
(DEFINE-CONCEPT C49 (AND C55 (SOME R16 C151) (SOME R11 C149) (SOME R1 C145) (SOME R3 C147) (SOME R27 C5))) 
(DEFINE-CONCEPT C51 (AND C55 (AT-LEAST 2 R12) (AT-MOST 2 R12) (SOME R16 C65) (SOME R1 C145) (SOME R1 C143) (SOME R7 (AND C127 C159)) (SOME R5 C157) (ALL R12 (SOME R7 (AND C155 (SOME R2 C153)))) (SOME R25 C153))) 
(DEFINE-CONCEPT C53 (AND C55 (SOME R16 (AND (OR C175 C173 C171) (ALL R6 (OR C169 C167)))) (SOME R11 C149) (SOME R1 C145) (SOME R25 C153) (ALL R20 (ALL R17 (SOME R6 C165))) (AT-LEAST 2 R20) (AT-MOST 2 R20) (AT-LEAST 2 R12) (AT-MOST 2 R12) (ALL R5 (AND C157 (OR C163 C161))))) 
(DEFINE-CONCEPT C55 (AND C27 C181 (SOME R1 C143) (SOME R12 (AND C127 C159)) (SOME R7 C117) (SOME R4 C37) (ALL R5 (OR C163 C161 C179)) (SOME R27 (ALL R2 C153)) (SOME R25 (NOT C177)) (AT-LEAST 2 R12))) 
(DEFINE-CONCEPT C57 (OR C7 C5)) 
(DEFINE-CONCEPT C59 (AND C67 (SOME R25 C183))) 
(DEFINE-CONCEPT C61 (AND C67 (AT-LEAST 2 R18))) 
(DEFINE-CONCEPT C63 (AND C67 (SOME R18 *TOP*) (AT-MOST 1 R18))) 
(DEFINE-CONCEPT C65 (OR C175 C185 C173)) 
(DEFINE-CONCEPT C67 (OR C65 C171 C63 C189 C151 C187 C59)) 
(DEFINE-CONCEPT C69 (OR C177 C149 C191 C153 C183)) 
(DEFINE-CONCEPT C71 (AND C73 (SOME R16 (ALL R25 (OR C191 C153))) (SOME R12 (ALL R21 (OR C191 C153 C183))) (SOME R12 (ALL R24 (OR C191 C153 C183))) (SOME R4 C35))) 
(DEFINE-CONCEPT C73 (AND C27 C181 (SOME R7 C117) (SOME R19 C159) (SOME R27 (ALL R23 (OR C199 C197))) (SOME R5 (OR C179 C195 C193)))) 
(DEFINE-CONCEPT C75 (AND (OR C201 C157) (OR C163 C161 C179 C195 C193))) 
(DEFINE-CONCEPT C77 (OR C211 C209 C207 C205 C203)) 
(DEFINE-CONCEPT C79 (OR C145 C143)) 
(DEFINE-CONCEPT C81 (AND C97 (ALL R5 *BOTTOM*) (SOME R19 C213))) 
(DEFINE-CONCEPT C83 (AND C97 (ALL R12 C85) (ALL R5 *BOTTOM*) (SOME R1 C143) (SOME R1 C145))) 
(DEFINE-CONCEPT C85 (AND (SOME R15 C87) (SOME R24 C153))) 
(DEFINE-CONCEPT C87 (OR C209 C207)) 
(DEFINE-CONCEPT C89 (AND C97 (ALL R16 C91) (ALL R4 C35) (ALL R12 C103) (AT-LEAST 2 R1) (ALL R1 C145) (SOME R5 *TOP*) (SOME R23 C199))) 
(DEFINE-CONCEPT C91 (SOME R25 C107)) 
(DEFINE-CONCEPT C93 (OR C199 C197)) 
(DEFINE-CONCEPT C95 (SOME R25 C109)) 
(DEFINE-CONCEPT C97 (AND C27 (NOT C181) (ALL R7 C15) (ALL R12 C101) (ALL R5 C99))) 
(DEFINE-CONCEPT C99 (AND C201 (OR C179 C195 C193))) 
(DEFINE-CONCEPT C101 (OR C105 C103)) 
(DEFINE-CONCEPT C103 (AND (SOME R21 C107) (SOME R24 C107))) 
(DEFINE-CONCEPT C105 (AND (SOME R21 C109) (SOME R24 C109))) 
(DEFINE-CONCEPT C107 (OR C153 C183)) 
(DEFINE-CONCEPT C109 (OR C177 C149))