Assertion list
good tripod (subgroup of tripod ) → HasProperty
Results from Ascent++: 1
good tripod → HasProperty → essential 0.56