Assertion list
theory (aspect of relativity ) → HasProperty
Results from Ascent++: 5
theory → HasProperty → correct 0.68
theory → HasProperty → wrong 0.54
theory → HasProperty → true 0.54
theory → HasProperty → incomplete 0.31
theory → HasProperty → valid 0.25