Assertion list
property (aspect of neighbor ) → AtLocation
Results from Ascent++: 2
property → AtLocation → the city of monticello 0.29
property → AtLocation → a flood zone 0.25