Assertion list for term "induced by kcl".

Results from Ascent++: 1
contraction ReceivesActioninduced by kcl 0.25