Assertion list for term "a coupling factor k1".

Results from Ascent++: 1
coupling HasAa coupling factor k1 0.30