Assertion list
insurance (aspect of homeowner ) → AtLocation
Results from Ascent++: 1
insurance → AtLocation → force 0.25