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