diff --git a/representations.aird b/representations.aird
index bafb354..abab026 100644
--- a/representations.aird
+++ b/representations.aird
@@ -169,7 +169,7 @@
-
+
@@ -6327,17 +6327,17 @@
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
@@ -6349,9 +6349,9 @@
-
-
-
+
+
+
@@ -6402,6 +6402,52 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7219,501 +7265,533 @@
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7738,7 +7816,7 @@
-
+
@@ -7759,7 +7837,7 @@
-
+
@@ -7771,7 +7849,7 @@
-
+
KEEP_LOCATION
@@ -7803,7 +7881,7 @@
-
+
KEEP_LOCATION
@@ -7814,7 +7892,7 @@
-
+
KEEP_LOCATION
@@ -7825,7 +7903,7 @@
-
+
@@ -7834,7 +7912,7 @@
-
+
KEEP_LOCATION
@@ -7845,7 +7923,7 @@
-
+
@@ -7863,7 +7941,7 @@
-
+
@@ -7875,7 +7953,7 @@
-
+
@@ -7895,7 +7973,7 @@
-
+
KEEP_LOCATION
@@ -7906,7 +7984,7 @@
-
+
@@ -7924,7 +8002,7 @@
-
+
@@ -7933,7 +8011,7 @@
-
+
@@ -7954,7 +8032,7 @@
-
+
KEEP_LOCATION
@@ -8039,7 +8117,7 @@
-
+
KEEP_LOCATION
@@ -8078,7 +8156,7 @@
-
+
@@ -8276,26 +8354,26 @@
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
@@ -8308,17 +8386,17 @@
-
-
-
-
+
+
+
+
-
+
@@ -8384,7 +8462,7 @@
-
+
@@ -8464,7 +8542,7 @@
-
+
@@ -8655,7 +8733,7 @@
-
+
@@ -8664,7 +8742,7 @@
-
+
@@ -8673,7 +8751,7 @@
-
+
@@ -8682,7 +8760,7 @@
-
+
@@ -8846,274 +8924,340 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
+
-
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
-
-
+
+
+
+
+
-
+
-
+
-
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
-
-
+
+
-
-
-
-
+
+
+
+
-
-
+
+
-
-
-
-
+
+
+
+
-
-
+
+
-
-
-
-
+
+
+
+
-
-
+
+
-
-
-
-
+
+
+
+
-
-
+
+
diff --git a/src/examples/oml/example.org/test-metrology-model.oml b/src/examples/oml/example.org/test-metrology-model.oml
index 84bec9a..89faa4f 100644
--- a/src/examples/oml/example.org/test-metrology-model.oml
+++ b/src/examples/oml/example.org/test-metrology-model.oml
@@ -13,6 +13,12 @@ description as test-metrology-model {
ci camera1 : some-domain:Component
[ some-domain:name "camera1" ]
+
+ ci camera1.mass.basic.constraint : vim4:InherentUnitaryQuantityValue [
+ vim4:hasDoubleNumber "3.103"^^xsd:double
+ vim4:characterizes camera1
+ ]
+
ci camera1.mass.basic : vim4:IndividualUnitaryQuantity [
vim4:instantiates simple-mass-management:mass.basic
vim4:characterizes camera1