Assertion list
scientific fact (subgroup of fact ) → HasProperty
Results from Ascent++: 1
scientific fact → HasProperty → true 0.25