Assertion: graph's g | /r/HasProperty | infinite grid graph
Facets:
Source sentences:
text: If G is an infinite grid graph, then it has many rays, and arbitrarily large sets of vertex-disjoint rays.