KR test1 { User kerry {name:"Kerry Raymond" password:"!@#$%^&*"} ConceptType thing { identifier: Name{s:"thing" namespace:User kerry} name: Name{s:"thing" namespace:User kerry} name: Name{s:"object" namespace:User kerry} } ConceptType characteristic { supertype: ConceptType thing } ConceptType happiness { supertype: characteristic } ConceptType stmt { supertype: thing } Individual SomeCatIsOnAMat { type: stmt } ConceptType spatial_entity { supertype: thing } ConceptType mat { supertype: thing } ConceptType mammal { supertype: thing creator: User kerry } ConceptType cat { supertype: mammal } ConceptType person { supertype: mammal } Individual Kerry { type: person representationOf: User kerry } RelationType relation {} RelationType relToSpatialEntity { supertype: relation range:spatial_entity } RelationType on { supertype: spatialRelation domain:spatial_entity } RelationType relationToStmt { supertype: relation range: stmt } RelationType believer { supertype: relationToStmt domain:person } RelationType chrc { supertype: relation range: characteristic } Assertion ThereExistsACatOnSomeMat { term: Individual SomeCatIsOnAMat text: "[SomeCatIsOnaMat [a cat]->(on)->[a mat] ]" creator: User kerry creationDate:"2/05/2003" comment:"a classic!" firstEmbeddedNode: QNode {type:cat sourceOf: Relation {type:on dest: TNode{type:mat} } } } Assertion MostPersonAreBelieverOf_ThereExistsACatOnSomeMat { text: "[most person]<-(believer)<-[SomeCatIsOnAMat]" firstEmbeddedNode: QNode {type: person quantifier:Quantifier{kind:most} sourceOf: Relation {type:believer isReversed dest: Assertion ThereExistsACatOnSomeMat} } } Definition AnHappyCatIsACatWithAGreatHappiness {kind:NSC parameter:"x" text: "[cat (*x) := [most (cat,chrc:a great hapiness)]->(on)->[a mat] ]" firstEmbeddedNode: QNode {type:cat var:"x" sourceOf: Relation {type:chrc dest: QNode {type:happiness qualifier:great} } } } Assertion MostHappyCatAreOnAMat { text: "[most (cat, chrc: a great hapiness)]->(on)->[a mat]" firstEmbeddedNode: LNode { firstEmbeddedNode: QNode {type:cat quantifier: Quantifier{kind:most} sourceOf: Relation {type:chrc dest: QNode {type: happiness qualifier: great} } } sourceOf: Relation {type:on dest: QNode{type:mat} } } } Assertion {annotation:"Kerry, her cat, and 2 other mammals are on a same mat" text: "[a mat]<-(on)<-[4 mammal {Kerry, the (cat, owner: Kerry)})]" firstEmbeddedNode: QNode { firstEmbeddedNode: QNode {type:cat} sourceOf: Relation {type:on isReversed dest: QNode {type: mammal quantifier: Quantifier{number:4} coll: Collection{ TNode {term:Kerry} LNode {firstEmbeddedNode: QNode {type:cat, sourceOf: Relation {type:owner dest: TNode {term: Kerry} } } } } } } } } }