Assertion: path coverage | /r/HasProperty | taken
Facets:
Source sentences:
text: Path-coverage = every possible path was taken, if(a)