Assertion list
lead (aspect of lipstick ) → AtLocation
Results from Ascent++: 1
lead → AtLocation → lipstick 0.56