Assertion list
edge (aspect of mirror ) → AtLocation
Results from Ascent++: 1
edge → AtLocation → complementary search window 0.09