Assertion list
cold dark matter (subgroup of dark matter ) → HasSubevent
Results from Ascent++: 1
cold dark matter → HasSubevent → a bottom-upformation of structu… 0.25