Assertion list
total spin (subgroup of spin ) → HasProperty
Results from Ascent++: 1
total spin → HasProperty → zero 0.84