#proposition  (logic) a statement that affirms or denies something and is either true or false
  supertype:  statement  a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc; "according to his statement he was in London on that day"
  subtype:  converse  lemma  theorem  conclusion.proposition  postulate  axiom
  part:  term.grammatical_constituent  one of the substantive phrases in a logical proposition; "the major term of a syllogism must occur twice"

No statement uses or specializes proposition; click here to add one.