Ascent++ | used on induction

Assertion list for term "used on induction".

Results from Ascent++: 2

pan → ReceivesAction → used on induction	0.40
pot → ReceivesAction → used on induction	0.32