Assertion list
knowledge (aspect of interpreter ) → HasProperty
Results from Ascent++: 2
knowledge → HasProperty → necessary 0.68
knowledge → HasProperty → free 0.41