Assertion: pascal | /r/CapableOf | come up with significant theorems
Facets:
value: in geometry
type: LOCATION
Source sentences:
text: He also came up with significant theorems in geometry, discovered the foundations of probability and calculus and also invented the Pascaline-calculator