Assertion list
argument (aspect of function ) → AtLocation
Results from Ascent++: 1
argument → AtLocation → nutshell 0.28