Assertion list
unfinished basement (subgroup of basement ) → HasProperty
Results from Ascent++: 2
unfinished basement → HasProperty → cold 0.24
unfinished basement → HasProperty → damp 0.16