Assertion list
dark matter (primary) → HasA
Results from Ascent++: 2
dark matter → HasA → mass 0.48
dark matter → HasA → some property 0.36