Assertion list
electron spin (subgroup of spin ) → IsA
Results from Ascent++: 1
electron spin → IsA → essential part of it 0.68