Assertion list
hinged arch (subgroup of arch ) → HasProperty
Results from Ascent++: 1
hinged arch → HasProperty → indeterminate 0.68