If the car can move between shafts the FloorNumber must be qualified by the shaft which the car will occupy at that floor.
XSD Schema Diagram:
XSD Schema Code:
<xs:attribute name="Shaft" type="ShaftID" use="optional">
<xs:annotation>
<xs:documentation>If the car can move between shafts the FloorNumber must be qualified by the shaft which the car will occupy at that floor.</xs:documentation>
</xs:annotation>
</xs:attribute>