8 LOGIC MACHINE II: ENGLISH AS A FORMAL LANGUAGE | part of What It All Means: Semantics for (Almost) Everything | MIT Press books | IEEE Xplore