Assertion list
immiscible liquid (subgroup of liquid ) → HasProperty

Results from Ascent++: 1
immiscible liquidHasProperty aqueous 0.68