Assertion: graph's vertex | /r/HasProperty | difficult
Facets:
Source sentences:
text: If, in addition, all the vertices are difficult, then the trail is called path.