Assertion: gauss | /r/CapableOf | write letter
Facets:
value: to bolyai
type: TRANSITIVE-OBJECT
Source sentences:
text: In contrast, Gauss wrote a letter to Bolyai telling him that he had already discovered everything that Bolyai had just published.