Assertion list
leg (aspect of dachshund ) → HasProperty
Results from Ascent++: 2
leg → HasProperty → short 0.68
leg → HasProperty → sturdy 0.25