Assertion: pascal's treatise | /r/HasProperty | formal explanation of a theory
Facets:
Source sentences:
text: Pascal planned a treatise (a formal explanation of a theory) on the subject, but again only a fragment survived.