Assertion list
armature (primary) → HasA
Results from Ascent++: 1
armature → HasA → fourteen closed coils 0.25