Assertion list
real estate contract (subgroup of contract ) → AtLocation

Results from Ascent++: 1
real estate contractAtLocation writing 0.83