Assertion: gauss | /r/CapableOf | find formula
Facets:
Source sentences:
text: Manual addition was for suckers, and Gauss found a formula to sidestep the problem: