Assertion: default search engine | /r/HasProperty | duckduckgo
Facets:
Source sentences:
text: GNOME released Web 3.10 on September 26, 2013, and starting with this version, the default search engine is DuckDuckGo.