Assertion: pascal | /r/CapableOf | conclude with the proof
Facets:
Source sentences:
text: Pascal concludes with the proof,