Changes between Version 2 and Version 3 of SigMmt/Templates/DimensionOfIndividual

Timestamp:

03/04/11 09:25:34 (13 years ago)

Author:

mfedorov (IP: 93.186.61.242)

Comment:

--

SigMmt/Templates/DimensionOfIndividual

@@ -19 +19 @@
 ExpressReal(x3) & 
 Scale(x4) &
-exists v (IndividualDimension(v) & DimensionOfIndividualTemplate(x2, v) &
+exists v (DimensionOfIndividualTemplate(x2, v) &
           exists u (ShapeDimension(u) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & 
-          exists p (Property(p) & PropertyForShapeDimensionTemplate(p, u) & RealMagnitudeOfProperty(p, x3, x4) &
-))).
+          exists p (PropertyForShapeDimensionTemplate(p, u) & RealMagnitudeOfProperty(p, x3, x4)))) .
 }}}