Assertion: path | /r/HasProperty | obtained by traversing
Facets:
Source sentences:
text: The path fg is defined as the path obtained by first traversing f and then traversing g: