Assertion list
cage (aspect of gerbil ) → HasProperty
Results from Ascent++: 1
cage → HasProperty → secure 0.25