Assertion list
floor (aspect of tower ) → HasProperty
Results from Ascent++: 8
floor → HasProperty → accessible 0.76
floor → HasProperty → open 0.63
floor → HasProperty → empty 0.51
floor → HasProperty → smooth 0.40
floor → HasProperty → slippery 0.38
floor → HasProperty → level 0.32
floor → HasProperty → dirty 0.16
floor → HasProperty → wet 0.16