Assertion list
existing building (subgroup of building ) → AtLocation
Results from Ascent++: 1
existing building → AtLocation → a flood hazard area 0.25