Assertion: sign language's grammar | /r/ObjectUse | used in formal logic
Facets:
value: by way of contrast
type: MANNER
value: commonly
type: TEMPORAL
Source sentences:
text: By way of contrast, such transformational grammars are also commonly used in formal logic, in formal linguistics, and in applied computational linguistics.