@prefix : . @prefix daml: . @prefix log: . @prefix rules: <#> . [ a :TrueSentence; :subformula [ :conjLeft [ :conjLeft [ :conjLeft [ :condLeft [ :objectTerm [ :denotation daml:TransitiveProperty ]; :predicateTerm [ :denotation ]; :subjectTerm rules:p ]; :condRight [ :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 ] ]; :conjRight [ :objectTerm [ :denotation daml:TransitiveProperty ]; :predicateTerm [ :denotation ]; :subjectTerm [ :denotation rules:ancestor ] ] ]; :conjRight [ :objectTerm [ :denotation rules:pa ]; :predicateTerm [ :denotation rules:ancestor ]; :subjectTerm [ :denotation rules:granpa ] ] ]; :conjRight [ :objectTerm [ :denotation rules:bill ]; :predicateTerm [ :denotation rules:ancestor ]; :subjectTerm [ :denotation rules:pa ] ] ]; :univar rules:p ].