Assertion: chalice | /r/HasProperty | available
Facets:
Source sentences:
text: Chalice is available for download as open source from the Boogie open-source repository.