Assertion list
roofing (primary) → AtLocation

Results from Ascent++: 1
roofingAtLocation a state of disrepair 0.16