Assertion list for term "less dense than the liquid".

Results from Ascent++: 1
solid HasPropertyless dense than the liquid 0.35