Assertion list
olive oil (primary) → AtLocation
Results from Ascent++: 1
olive oil → AtLocation → lotion 0.31