Assertion list
round steak (subgroup of steak ) → HasProperty
Results from Ascent++: 2
round steak → HasProperty → lean 0.59
round steak → HasProperty → tender 0.59