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