Assertion list
bodywork (primary) → HasA
Results from Ascent++: 2
bodywork → HasA → connected flow line 0.37
bodywork → HasA → dent 0.32