Assertion list
circular reasoning (subgroup of reasoning ) → HasProperty

Results from Ascent++: 1
circular reasoningHasProperty possible 0.68