Assertion: variable | /r/RelatedTo | assertion
Facets:
Source sentences:
text: Thus each condition variable c is associated with an assertion P c .