First of all, GAI appears in the straightforward proposition of lexical logic. It is the basis for judging whether the outspoken proposition is established. GAI's outspoken proposition refers to whether all extensions of the subject and predicate of the outspoken proposition have been judged. If they have been judged, it is GAI's, otherwise it is not. There are six kinds of outspoken propositions, but actually there are only four, namely, "SAP, SEP, SIP, SOP", that is, full name affirmation \ negation, proper name affirmation \ negation.

In fact, whether GAI is or not can be remembered and judged by the logic of words: "Whether the main item is GAI depends on the quantity item. The main items of all weighing items are GAI, otherwise it is not GAI. Whether the predicate item is GAI depends on the joint item, and the positive joint item is not GAI, but GAI. "