Assertion list
asian supermarket (subgroup of supermarket ) → HasProperty

Results from Ascent++: 1
asian supermarketHasProperty independent 0.81