Assertion: boogie | /r/HasProperty | the name of a.
Facets:
Source sentences:
text: The default SMT solver is Boogie is also the name of a.