Assertion: mathematician | /r/HasProperty | machine
Facets:
value: for turning coffee
type: PURPOSE
Source sentences:
text: A mathematician is a machine for turning coffee into theorems.