Assertion list
bottled distilled water (subgroup of distilled water ) → AtLocation
Results from Ascent++: 1
bottled distilled water → AtLocation → supermarket 0.77