Assertion list
stator (primary) → HasProperty
Results from Ascent++: 5
stator → HasProperty → stationary 0.59
stator → HasProperty → bad 0.49
stator → HasProperty → tubular 0.30
stator → HasProperty → new 0.25
stator → HasProperty → good 0.21