Assertion: alloy | /r/HasProperty | analyzer
Facets:
Source sentences:
text: Alloy is an open source language and analyzer for software modeling.