Assertion: gauss | /r/CapableOf | set the basis
Facets:
value: for induction
type: PURPOSE
Source sentences:
text: He sets the basis for induction by proving the theorem for ±3 and ±5.