Assertion: mathematician | /r/CapableOf | become obsessed
Facets:
value: with proof
type: OTHER
value: in the 19th century
type: TEMPORAL
Source sentences:
text: In the 19th century, mathematicians became obsessed with proof.