Assertion: algorithm | /r/HasProperty | contraction hierarchies
Facets:
Source sentences:
text: One such algorithm is contraction hierarchies.