Assertion list
deep breathing (subgroup of breathing ) → HasProperty
Results from Ascent++: 1
deep breathing → HasProperty → efficient 0.59