Sentence:  In Logic, the letter A is used as a symbol for the <WSD>universal</WSD> affirmative proposition in the general form "all x is y." 
Meaning of the word marked with <WSD> tags:  Common to all members of a group or class.