Assertion list
interchange (primary) → HasProperty
Results from Ascent++: 6
interchange → HasProperty → possible 0.79
interchange → HasProperty → complete 0.43
interchange → HasProperty → high 0.25
interchange → HasProperty → small 0.25
interchange → HasProperty → open 0.22
interchange → HasProperty → clear 0.16