Assertion list
cage (aspect of hedgehog ) → HasProperty
Results from Ascent++: 3
cage → HasProperty → large 0.68
cage → HasProperty → safe 0.25
cage → HasProperty → small 0.23