Changes between Version 4 and Version 5 of SigMmt/Templates/RestrictedDimensionOfIndividual

Timestamp:

03/04/11 09:23:19 (13 years ago)

Author:

mfedorov (IP: 93.186.61.242)

Comment:

--

SigMmt/Templates/RestrictedDimensionOfIndividual

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