Assertion list
spar (primary) → HasProperty
Results from Ascent++: 4
spar → HasProperty → short 0.38
spar → HasProperty → solid 0.38
spar → HasProperty → strong 0.38
spar → HasProperty → flexible 0.25