Assertion list
smoke sauna (subgroup of sauna ) → HasProperty
Results from Ascent++: 1
smoke sauna → HasProperty → the only true sauna experience 0.25