Key: "S:" = Show Synset (semantic) relations, "W:" = Show Word (lexical) relations
Display options for sense: (gloss) "an example sentence"
Noun
S: (n) implication, logical implication, conditional relation (a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false)