Ascent++
Search
special relativity
subgroup of
relativity
,
2
assertions
HasProperty
2
true
0.68
wrong
0.16