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