Assertion list
property (aspect of metal ) → AtLocation
Results from Ascent++: 1
property → AtLocation → girard borough 0.60