Assertion: mathematician | /r/CapableOf | decide to sell his soul
Facets:
value: in exchange for a proof
type: PURPOSE
Source sentences:
text: Finally, he decides to sell his soul to the devil in exchange for a proof.