Assertion list for term "formula v".

Results from Ascent++: 1
yield HasAformula v 0.30