Assertion list
color (aspect of granite ) → AtLocation
Results from Ascent++: 1
color → AtLocation → granite 0.22