A key idea—the meaning postulate
In GTU, a proposition, p, is viewed as an answer to a question, q, of the form "What is the value of X?" Thus, p is a carrier of information about X. From this perspective, the meaning of p, M(p), is the information which p carries about X. An important consequence of the fundamental thesis of GTU is what is referred to as the meaning postulate. In symbolic form, the postulate is expressed as M(p) = GC(X(p)), where GC(X(p)) is a generalized constraint on the variable which is constrained by p. In plain words, the meaning postulate asserts that the meaning of a proposition may be represented as a generalized constraint. It is this postulate that makes the concept of a generalized constraint the centerpiece of GTU.
A point which should be noted is that the question to which p is an answer is not uniquely determined by p; hence, X(p) is not uniquely defined by p. Generally, however, among the possible questions there is one which is most likely. For example, if p is "Monika is young," then the most likely question is "How old is Monika?" In this example, X is Age(Monika).