Assertion list for term "the second lightest".

Results from Ascent++: 1
helium HasPropertythe second lightest 0.40