Assertion list
lookout (primary) → HasProperty
Results from Ascent++: 2
lookout → HasProperty → open 0.72
lookout → HasProperty → clean 0.22