AP19 is embedding in (contains embedding) The crm-sig resolving the 303 changed the scope note of AP19, corrected the quantifications and added the appropriate FOL expression FROM: Domain: A7 Embedding A2 Stratigraphic Volume Unit Quantification: one to many (0,n:0,1) Scope note: This property identifies the A2 Stratigraphic Volume Unit that contains the A7 Embedding. TO: Domain: Embedding Range: Stratigraphic Volume Unit Quantification: one to many (1,1:0,n) note: This property identifies the instance of A2 Stratigraphic Volume Unit that contains the A7 Embedding. An Embedding may not extend over more than one instance of A2 Stratigraphic Volume Unit. In Order Logic: AP19(x,y) A7(x) ⊃ AP19(x,y) A2(y) ⊃ AP20 is embedding at (contains) The crm-sig resolving the issue 303 changed the scope note of AP20, corrected the quantifications and added the appropriate FOL expression FROM: Domain: Embedding Range: Place Quantification: one to many (0,n:0,1) Scope note: This property identifies the E53 Place that is documented as the E53 Place of the A7 Embedding. TO: Domain: Embedding Range: Place Quantification: one to many (1,n:0,n) Scope note: This property identifies the E53 Place that is documented as the E53 Place of the A7 Embedding. This place must be at rest relative to the instance of A2 Stratigraphic Volume Unit that contains the A7 Embedding. In First Order Logic:
AP19 is embedding in (contains embedding) The crm-sig resolving the 303 changed the scope note of AP19, corrected the quantifications and added the appropriate FOL expression FROM: Domain: A7 Embedding A2 Stratigraphic Volume Unit Quantification: one to many (0,n:0,1) Scope note: This property identifies the A2 Stratigraphic Volume Unit that contains the A7 Embedding. TO: Domain: Embedding Range: Stratigraphic Volume Unit Quantification: one to many (1,1:0,n) note: This property identifies the instance of A2 Stratigraphic Volume Unit that contains the A7 Embedding. An Embedding may not extend over more than one instance of A2 Stratigraphic Volume Unit. In Order Logic: AP19(x,y) ⊃ A7(x) AP19(x,y) ⊃ A2(y) AP20 is embedding at (contains) The crm-sig resolving the issue 303 changed the scope note of AP20, corrected the quantifications and added the appropriate FOL expression FROM: Domain: Embedding Range: Place Quantification: one to many (0,n:0,1) Scope note: This property identifies the E53 Place that is documented as the E53 Place of the A7 Embedding. TO: Domain: Embedding Range: Place Quantification: one to many (1,n:0,n) Scope note: This property identifies the E53 Place that is documented as the E53 Place of the A7 Embedding. This place must be at rest relative to the instance of A2 Stratigraphic Volume Unit that contains the A7 Embedding. In First Order Logic:
CRMarchaeo_v1.4.4_examples-1.docx