Assertion: pascal | /r/CapableOf | contribute elegant proof
Facets:
value: by defining the numbers
type: MANNER
Source sentences:
text: But Pascal did contribute an elegant proof by defining the numbers by recursion, and he also discovered many useful and interesting patterns among the rows, columns and diagonals of the array of numbers.