Assertion: graph's path | /r/CapableOf | start atand
Facets:
Source sentences:
text: For each red or blue edgeis reachable from: there exists a blue path starting atand ending at