1. A computer-implemented method comprising: (A) providing, to a user, representations of a plurality of discriminants of meanings of a plurality of symbols in a natural language, wherein each of the plurality of discriminants is associated with a corresponding finite set of mutually exclusive answers to the discriminant, and wherein the plurality of discriminants are orthogonal to each other; (B) receiving, from the user, input representing a plurality of answers to the plurality of discriminants, wherein each of the plurality of answers from the user is selected from the finite set of mutually exclusive answers to the corresponding discriminant, wherein (B) comprises: (B) (1) receiving first input from the user representing a first answer to a first one of the plurality of discriminants; and (B)(2) receiving second input, independent of the first input, from the user representing a second answer to a second one of the plurality of discriminants; and (C) generating, in response to the input, a data structure tangibly stored in a computer-readable memory, the data structure comprising data representing the plurality of answers from the user, including the first answer and the second answer, and thereby representing a meaning of one of the plurality of symbols in the natural language; wherein the plurality of discriminants includes at least one Nature-related discriminant and one Realm-related discriminant, wherein Nature-related discriminants include a discriminant for distinguishing between individual and collective meanings in the natural language and a discriminant for distinguishing between specific and indefinite meanings in the natural language, and wherein Realm-related discriminants include a discriminant for distinguishing between natural and artificial meanings in the natural language and a discriminant for distinguishing between concrete and information meanings in the natural language.
1. A computer-implemented method comprising: (A) providing, to a user, representations of a plurality of discriminants of meanings of a plurality of symbols in a natural language, wherein each of the plurality of discriminants is associated with a corresponding finite set of mutually exclusive answers to the discriminant, and wherein the plurality of discriminants are orthogonal to each other; (B) receiving, from the user, input representing a plurality of answers to the plurality of discriminants, wherein each of the plurality of answers from the user is selected from the finite set of mutually exclusive answers to the corresponding discriminant, wherein (B) comprises: (B) (1) receiving first input from the user representing a first answer to a first one of the plurality of discriminants; and (B)(2) receiving second input, independent of the first input, from the user representing a second answer to a second one of the plurality of discriminants; and (C) generating, in response to the input, a data structure tangibly stored in a computer-readable memory, the data structure comprising data representing the plurality of answers from the user, including the first answer and the second answer, and thereby representing a meaning of one of the plurality of symbols in the natural language; wherein the plurality of discriminants includes at least one Nature-related discriminant and one Realm-related discriminant, wherein Nature-related discriminants include a discriminant for distinguishing between individual and collective meanings in the natural language and a discriminant for distinguishing between specific and indefinite meanings in the natural language, and wherein Realm-related discriminants include a discriminant for distinguishing between natural and artificial meanings in the natural language and a discriminant for distinguishing between concrete and information meanings in the natural language. 7. The method of claim 1 , further comprising: (D) providing, to the user, a representation of a type tree including a plurality of types; wherein (B) further comprises receiving, from the user, input representing a branch of the type tree selected by the user; and wherein (C) comprises generating a data structure comprising data representing the plurality of answers from the user and the branch of the type tree selected by the user.