Reduced logical form
> I started doing it because of the eternal discussion about NA and
> its scope. I think using the reduced logical form we can more
> clearly see what the alternatives are.
Coolness.
> But besides that, I think it is a useful thing to show that the
> logical language truly does match up with ordinary first order
> logic to a great extent, and it is also useful to know exactly
> where it does not.
You mean second order, don't you?
> I was pleasantly surprized by how easy it turned out to be doing
> the reduction, mostly. I have completely ignored indicators and
> free modifiers.
As you should.
Good luck.
-Robin