Assertion list
hot dark matter (subgroup of dark matter ) → CapableOf

Results from Ascent++: 2
hot dark matterCapableOf consist of particle 0.68
hot dark matterCapableOf consist of massiveneutrinos 0.25