Assertion list
annex (primary) → HasProperty

Results from Ascent++: 6
annexHasProperty applicable 0.47
annexHasProperty open 0.42
annexHasProperty valid 0.38
annexHasProperty essential 0.25
annexHasProperty liable 0.16
annexHasProperty perfect 0.16