PM test1 {
  User kerry {name:"Kerry Raymond"    password:"!@#$%^&*"} 
  Name "kerry#thing" {s:"thing"  nameSpace:User kerry}
  Name "thingy" {s:"thing"  nameSpace:User kerry}
  Name "object" {s:"object" nameSpace:User kerry} 
  ConceptType thing { identifier: Name "kerry#thing" 
                      name: Name "thingy"
                      name: Name "object" }
    ConceptType characteristic { supertype: ConceptType "thing" }
      ConceptType happiness { supertype: characteristic }
    ConceptType stmt { supertype: thing }
      Individual SomeCatIsOnAMat { instanceOf: 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 { instanceOf: person    representationOf: User kerry }

  RelationType relation1 {}
  RelationType relToSpatialEntity { supertype: relation1  range:spatial_entity }
     RelationType on { supertype: relToSpatialEntity   domain:spatial_entity  }
  RelationType relationToStmt { supertype: relation1   range: stmt }
     RelationType believer { supertype: relationToStmt   domain:person }
  RelationType chrc { supertype: relation1   range: characteristic }
  RelationType owner { supertype: relation1 range: person }

  Assertion ThereExistsACatOnSomeMat {  term: Individual SomeCatIsOnAMat
   text: "[SomeCatIsOnaMat  [a cat]->(on)->[a mat] ]"
    creator: User kerry    creationDate: Date {day: "2" month: "5" year: "2003"}
    comment:"a classic!"
    firstEmbeddedNode: QNode {cType:cat
      sourceOf: Relation {rType:on dest: QNode{cType:mat} } } }

  Assertion MostPersonAreBelieverOf_ThereExistsACatOnSomeMat {
    text: "[most person]<-(believer)<-[SomeCatIsOnAMat]" 
    firstEmbeddedNode: QNode {cType: person  quantifier:Quantifier{kind: most }
      sourceOf: isReversed Relation {rType:believer
	destRef: ThereExistsACatOnSomeMat } } }

  Assertion MostHappyCatAreOnAMat {
    text: "[most (cat, chrc: a great hapiness)]->(on)->[a mat]"
    firstEmbeddedNode: LNode { 
      firstEmbeddedNode: QNode {cType:cat  quantifier: Quantifier{kind:most}
                           sourceOf: Relation {rType:chrc
                           dest: QNode {cType: happiness  qualifier: great} } }
      sourceOf: Relation {rType:on   dest: QNode{cType:mat} } } }

  Definition AnHappyCatIsACatWithAGreatHappiness {kind:NSC  parameter:("x")
    text: "[cat (*x) := [most (cat,chrc:a great hapiness)]->(on)->[a mat] ]"
    firstEmbeddedNode: QNode {cType:cat  var:"x"
      sourceOf: Relation {rType:chrc
          dest: QNode {cType:happiness  qualifier:great} } } }

  Assertion {comment:"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 {cType:mat}
        sourceOf: isReversed Relation {rType:on
            dest: NodeCollection {cType: mammal  quantifier: Quantifier{num:"4"}
			TNode {term:Kerry}
                        LNode {firstEmbeddedNode:
				QNode {cType:cat sourceOf: Relation {rType:owner
                                                     dest: TNode {term: Kerry} }
                                      } } } } }
}