KR test1 { User kerry {} ConceptType thing {} ConceptType animal { supertype: thing creator: User kerry } ConceptType cat { supertype: animal } ConceptType person { supertype: animal } ConceptType mat { supertype: thing } ConceptType stmt {} RelnType action {} RelnSig sit { supertype: action type1: animal type2: thing } RelnSig believes { type1: person type2: stmt } ConceptInstance Greystoke { type: cat } ConceptInstance Zambezi { type: cat } ConceptInstance Kerry { type: person } ConceptInstance David { type: person } Assertion { quantifier: Quantifier { kind: some } type: cat src_of : RelnInstance { creator: User kerry type: sit dest: Node { quantifier: Quantifier { kind: some } type: mat } } } Assertion { quantifier: Quantifier { kind: most } type: person src_of: RelnInstance { type: believes dest: Assertion { quantifier: Quantifier { kind: some } type: cat src_of : RelnInstance { type: sit dest: Node { quantifier: Quantifier { kind: the } type: mat } } } } } Assertion { quantifier: Quantifier { kind: some } type: cat src_of : RelnInstance { type: sit dest: Node { quantifier: Quantifier { kind: the } type: mat } } src_of: RelnInstance { converse type: believes dest: Node { quantifier: Quantifier { kind: most } type: person } } } }