Assertion list
property (aspect of function ) → AtLocation
Results from Ascent++: 2
property → AtLocation → the section 0.36
property → AtLocation → hawaii 0.25