Assertion: boogie | /r/HasProperty | licensed under the mit license
Facets:
Source sentences:
text: Boogie is licensed under the MIT License (see LICENSE.txt).
text: Boogie is licensed under the MIT License (see LICENSE.txt).