@prefix : . @prefix daml: . @prefix log: . @prefix rules: <#> . [ a :TrueSentence; :subformula [ :subformula [ :subformula [ :conjLeft [ :conjLeft [ :conjLeft [ :conjLeft [ :conjLeft [ :objectTerm [ :subformula [ :subformula [ :subformula [ :condLeft [ :conjLeft [ :objectTerm rules:y; :predicateTerm rules:p; :subjectTerm rules:x ]; :conjRight [ :objectTerm rules:z; :predicateTerm rules:p; :subjectTerm rules:y ] ]; :condRight [ :objectTerm rules:z; :predicateTerm rules:p; :subjectTerm rules:x ] ]; :univar rules:x ]; :univar rules:y ]; :univar rules:z ]; :predicateTerm [ :denotation rules:means ]; :subjectTerm [ :objectTerm [ :denotation daml:TransitiveProperty ]; :predicateTerm [ :denotation ]; :subjectTerm rules:p ] ]; :conjRight [ :condLeft [ :objectTerm rules:b; :predicateTerm [ :denotation rules:means ]; :subjectTerm rules:a ]; :condRight [ :conjLeft [ :condLeft rules:a; :condRight rules:b ]; :conjRight [ :condLeft rules:b; :condRight rules:a ] ] ] ]; :conjRight [ :objectTerm [ :denotation daml:TransitiveProperty ]; :predicateTerm [ :denotation ]; :subjectTerm [ :denotation rules:ancestor ] ] ]; :conjRight [ :objectTerm [ :denotation rules:granpa ]; :predicateTerm [ :denotation rules:ancestor ]; :subjectTerm [ :denotation rules:pa ] ] ]; :conjRight [ :objectTerm [ :denotation rules:pa ]; :predicateTerm [ :denotation rules:ancestor ]; :subjectTerm [ :denotation rules:bill ] ] ]; :conjRight [ :condLeft [ :conjLeft [ :condLeft rules:a; :condRight rules:b ]; :conjRight [ :condLeft rules:b; :condRight rules:a ] ]; :condRight [ :objectTerm rules:b; :predicateTerm [ :denotation rules:means ]; :subjectTerm rules:a ] ] ]; :univar rules:p ]; :univar rules:a ]; :univar rules:b ].