Assertion list
aluminum tripod (subgroup of tripod ) → HasProperty
Results from Ascent++: 2
aluminum tripod → HasProperty → light 0.59
aluminum tripod → HasProperty → stable 0.59