Assertion list
special relativity (subgroup of relativity ) → HasProperty
Results from Ascent++: 2
special relativity → HasProperty → true 0.68
special relativity → HasProperty → wrong 0.16