Assertion: elevator's device | /r/HasProperty | provided
Facets:
Source sentences:
text: A - If no compensating rope tie-down device is provided - ½ the gravity stopping distance (See 2.4.6.2(d)) or
text: If no compensating rope tie-down device is provided - ½ the gravity stopping distance (See 2.4.6.2(d)) or B - If a compensating rope tie-down device is provide - the distance to which the compensating rope tie-down device limits the jump of the car.