Timothy Potts offers a way of representing the meanings of linguistic expressions independent of any particular language and which allows them to be manipulated in accordance with rules related to their meanings which could be implemented on a computer. A two-dimensional notation is developed for this purpose. First published in 1994.