Assertion list
story house (subgroup of house ) → HasProperty

Results from Ascent++: 1
story houseHasProperty rectangular 0.25