Assertion list
doorknob (primary) → HasProperty
Results from Ascent++: 2
doorknob → HasProperty → warm 0.68
doorknob → HasProperty → old 0.16