Assertion: mathematician's language | /r/CapableOf | use tool
Facets:
value: from formal linguistics
type: OTHER
Source sentences:
text: Mohan Ganesalingam has analysed mathematical language using tools from formal linguistics.