Assertion list for term "the lightest element".

Results from Ascent++: 1
hydrogen IsAthe lightest element 0.44