Assertion: consequence | /r/CapableOf | contradict ordinary usage
Facets:
value: obviously
type: MANNER
Source sentences:
text: If, for example, we were to include among the extra-logical signs the implication sign, or the universal quantifier, then our definition of the concept of consequence would lead to results which obviously contradict ordinary usage.