Assertion: graph's vertex | /r/HasAspect | first vertex
Facets:
Source sentences:
text: An infinite directed walk is a sequence of edges of the same type described here, but with no first or last vertex, and a semi-infinite directed walk (or ray) has a first vertex but no last vertex.