Assertion list
leg (aspect of tern ) → HasProperty
Results from Ascent++: 4
leg → HasProperty → black 0.68
leg → HasProperty → orange 0.25
leg → HasProperty → red 0.25
leg → HasProperty → yellow 0.25