Assertion list
immiscible liquid (subgroup of liquid ) → HasA
Results from Ascent++: 1
immiscible liquid → HasA → different densities 0.68