Assertion: web crawler | /r/HasProperty | a variety of different names
Facets:
Source sentences:
text: Web crawlers are known by a variety of different names including spiders, ants, bots, automatic indexers, web cutters, and (in the case of Google’s web crawler) Googlebot.