Assertion: search engine's user | /r/CapableOf | search with formula
Facets:
Source sentences:
text: This semantic search engine allows users to search with numbers and formulas instead of text.