Assertion list for term "write down equation".

Results from Ascent++: 1
mathematician CapableOfwrite down equation 0.25