Assertion list for term "safe property".

Results from Ascent++: 1
right (aspect of tenant) AtLocationsafe property 0.25