Assertion list
wet basement (subgroup of basement ) → IsA

Results from Ascent++: 1
wet basementIsA common problem 0.19