Assertion list
relativity (primary) → IsA
Results from Ascent++: 1
relativity → IsA → theory 0.53