Assertion list for term "in connection with formula".

Results from Ascent++: 1
symbol DefinedAsin connection with formula 0.27