I tried to "grab" a first order logic formula but
the "grab" translation was not correct.
This was the grab result: (3æ)(person(æ) A (Vy) (person(y) —>• (shaves(x,y) ^shaves(y, y))))
Please will you update Snagit so that it correctly
"grabs" formulae that are expressed in first order logic.
This is the original formula.