More refining

docs/odata-csdl-json/odata-csdl-json.html

@@ -487,7 +487,7 @@ <h2 id="31-nominal-types"><a name="NominalTypes" href="#NominalTypes">3.1 Nomina
 <h2 id="32-structured-types"><a name="StructuredTypes" href="#StructuredTypes">3.2 Structured Types</a></h2>
 <p>Structured types are composed of other model elements. Structured types are common in entity models as the means of representing entities and structured properties in an OData service. <a href="#EntityType">Entity types</a> and <a href="#ComplexType">complex types</a> are both structured types.</p>
 <p>Structured types are composed of zero or more <a href="#StructuralProperty">structural properties</a> and <a href="#NavigationProperty">navigation properties</a>. These properties can themselves be of a structured type.</p>
-<p>Given an instance of a structured type, its properties of structured types are either integral parts of the instance or references to instances. The first case (“integral parts”) is described in the sections on <a href="#StructuralProperty">structural properties</a> and <a href="#ContainmentNavigationProperty">containment navigation properties</a>. If an instance of a structured type contains a chain of these, this chain MUST be finite, even if the chain of types leads back to the structured type of the instance. Note that in this circular case finiteness is only possible if the chain ends with a null value or an empty collection. The second case (“references”) is the case of <a href="#NavigationProperty">non-containment navigation properties</a>. Chains of these can be infinite, for example, if an entity contains a self-reference.</p>
+<p>Given an instance of a structured type, its properties are either integral parts of the instance or references to instances. The first case (“integral parts”) is described in the sections on <a href="#StructuralProperty">structural properties</a> and <a href="#ContainmentNavigationProperty">containment navigation properties</a>. If an instance of a structured type contains a chain of these, this chain MUST be finite, even if the chain of types leads back to the structured type of the instance. Note that in this circular case finiteness is only possible if the chain of instances ends with a null value or an empty collection. The second case (“references”) is the case of <a href="#NavigationProperty">non-containment navigation properties</a>. Chains of these can be infinite, for example, if an entity contains a self-reference.</p>
 <p><a href="#OpenEntityType">Open entity types</a> and <a href="#OpenComplexType">open complex types</a> allow properties to be added dynamically to instances of the open type.</p>
 <h2 id="33-primitive-types"><a name="PrimitiveTypes" href="#PrimitiveTypes">3.3 Primitive Types</a></h2>
 <p>Structured types are composed of other structured types and primitive types. OData defines the following primitive types:</p>

docs/odata-csdl-json/odata-csdl-json.md

@@ -547,15 +547,15 @@ properties](#StructuralProperty) and [navigation
 properties](#NavigationProperty). These properties can themselves be of
 a structured type.
 
-Given an instance of a structured type, its properties of structured types are
+Given an instance of a structured type, its properties are
 either integral parts of the instance or references to instances.
 The first case ("integral parts") is described in the sections on
 [structural properties](#StructuralProperty) and
 [containment navigation properties](#ContainmentNavigationProperty).
 If an instance of a structured type contains a chain of these,
 this chain MUST be finite, even if the chain of types leads back to the
 structured type of the instance. Note that in this circular case finiteness
-is only possible if the chain ends with a null value or an empty collection.
+is only possible if the chain of instances ends with a null value or an empty collection.
 The second case ("references") is the case of
 [non-containment navigation properties](#NavigationProperty).
 Chains of these can be infinite, for example, if an entity contains a self-reference.

docs/odata-csdl-xml/odata-csdl-xml.html

@@ -485,7 +485,7 @@ <h2 id="31-nominal-types"><a name="NominalTypes" href="#NominalTypes">3.1 Nomina
 <h2 id="32-structured-types"><a name="StructuredTypes" href="#StructuredTypes">3.2 Structured Types</a></h2>
 <p>Structured types are composed of other model elements. Structured types are common in entity models as the means of representing entities and structured properties in an OData service. <a href="#EntityType">Entity types</a> and <a href="#ComplexType">complex types</a> are both structured types.</p>
 <p>Structured types are composed of zero or more <a href="#StructuralProperty">structural properties</a> and <a href="#NavigationProperty">navigation properties</a>. These properties can themselves be of a structured type.</p>
-<p>Given an instance of a structured type, its properties of structured types are either integral parts of the instance or references to instances. The first case (“integral parts”) is described in the sections on <a href="#StructuralProperty">structural properties</a> and <a href="#ContainmentNavigationProperty">containment navigation properties</a>. If an instance of a structured type contains a chain of these, this chain MUST be finite, even if the chain of types leads back to the structured type of the instance. Note that in this circular case finiteness is only possible if the chain ends with a null value or an empty collection. The second case (“references”) is the case of <a href="#NavigationProperty">non-containment navigation properties</a>. Chains of these can be infinite, for example, if an entity contains a self-reference.</p>
+<p>Given an instance of a structured type, its properties are either integral parts of the instance or references to instances. The first case (“integral parts”) is described in the sections on <a href="#StructuralProperty">structural properties</a> and <a href="#ContainmentNavigationProperty">containment navigation properties</a>. If an instance of a structured type contains a chain of these, this chain MUST be finite, even if the chain of types leads back to the structured type of the instance. Note that in this circular case finiteness is only possible if the chain of instances ends with a null value or an empty collection. The second case (“references”) is the case of <a href="#NavigationProperty">non-containment navigation properties</a>. Chains of these can be infinite, for example, if an entity contains a self-reference.</p>
 <p><a href="#OpenEntityType">Open entity types</a> and <a href="#OpenComplexType">open complex types</a> allow properties to be added dynamically to instances of the open type.</p>
 <h2 id="33-primitive-types"><a name="PrimitiveTypes" href="#PrimitiveTypes">3.3 Primitive Types</a></h2>
 <p>Structured types are composed of other structured types and primitive types. OData defines the following primitive types:</p>

docs/odata-csdl-xml/odata-csdl-xml.md

@@ -488,15 +488,15 @@ properties](#StructuralProperty) and [navigation
 properties](#NavigationProperty). These properties can themselves be of
 a structured type.
 
-Given an instance of a structured type, its properties of structured types are
+Given an instance of a structured type, its properties are
 either integral parts of the instance or references to instances.
 The first case ("integral parts") is described in the sections on
 [structural properties](#StructuralProperty) and
 [containment navigation properties](#ContainmentNavigationProperty).
 If an instance of a structured type contains a chain of these,
 this chain MUST be finite, even if the chain of types leads back to the
 structured type of the instance. Note that in this circular case finiteness
-is only possible if the chain ends with a null value or an empty collection.
+is only possible if the chain of instances ends with a null value or an empty collection.
 The second case ("references") is the case of
 [non-containment navigation properties](#NavigationProperty).
 Chains of these can be infinite, for example, if an entity contains a self-reference.

odata-csdl/1 Introduction.md

@@ -428,15 +428,15 @@ properties](#StructuralProperty) and [navigation
 properties](#NavigationProperty). These properties can themselves be of
 a structured type.
 
-Given an instance of a structured type, its properties of structured types are
+Given an instance of a structured type, its properties are
 either integral parts of the instance or references to instances.
 The first case ("integral parts") is described in the sections on
 [structural properties](#StructuralProperty) and
 [containment navigation properties](#ContainmentNavigationProperty).
 If an instance of a structured type contains a chain of these,
 this chain MUST be finite, even if the chain of types leads back to the
 structured type of the instance. Note that in this circular case finiteness
-is only possible if the chain ends with a null value or an empty collection.
+is only possible if the chain of instances ends with a null value or an empty collection.
 The second case ("references") is the case of
 [non-containment navigation properties](#NavigationProperty).
 Chains of these can be infinite, for example, if an entity contains a self-reference.