Assertion list
turnstile (primary) → HasProperty
Results from Ascent++: 4
turnstile → HasProperty → open 0.57
turnstile → HasProperty → suitable 0.34
turnstile → HasProperty → compatible 0.32
turnstile → HasProperty → configurable 0.25