Assertion list
house (aspect of neighbor ) → AtLocation
Results from Ascent++: 2
house → AtLocation → shamble 0.29
house → AtLocation → city 0.25