Assertion list
finished basement (subgroup of basement ) → HasProperty
Results from Ascent++: 2
finished basement → HasProperty → great 0.62
finished basement → HasProperty → complete 0.38