This book develops a way of representing the meanings of linguistic expressions independent of any particular language, allowing them to be manipulated in accordance with rules related to their meanings that could be implemented on a computer. Beginning with a survey of the contributions of linguistics, logic, and computer science to the representation problem, it presents a system of graphs organized by scope relations in which linguistic constituents are sub-graphs whose configuration is determined by their categories.