tyle="width: 150px;">Goal property checkable locally</th>
		<th style="width: 150px;">Solution recoverable locally</th>
		<th style="width: 150px;">Edges have labels</th>
	</tr>
	<tr>
		<th>Graph to which the property applies</th>
		<td>Original Graph</td>
		<td>Traversal Tree</td>
		<td>Original Graph</td>
		<td>Original Graph</td>
		<td>Original Graph</td>
	</tr>
	<tr>
		<th>Meaning of the property</th>
		<td>Tree, DAG, or DGRAPH</td>
		<td>This is the dimension of the TRAVERSAL tree, which may be infinit