Assertion list
ingredient (aspect of toothpaste ) → AtLocation
Results from Ascent++: 1
ingredient → AtLocation → toothpaste 0.78