Assertion list
screened porch (subgroup of porch ) → IsA
Results from Ascent++: 1
screened porch → IsA → perfect place 0.34