Assertion list
deuteron (primary) → HasProperty

Results from Ascent++: 1
deuteronHasProperty symmetric 0.25