Assertion list
coupling (primary) → HasA
Results from Ascent++: 3
coupling → HasA → a coupling factor k1 0.30
coupling → HasA → many mechanical designs 0.30
coupling → HasA → infinite life 0.25