Assertion list
cage (aspect of ferret ) → HasProperty
Results from Ascent++: 3
cage → HasProperty → large 0.68
cage → HasProperty → spacious 0.16
cage → HasProperty → sturdy 0.16