Assertion: alloy | /r/HasProperty | visual modeling environment
Facets:
Source sentences:
text: Alloy is a visual modeling environment and system that creates, maintains, and helps distribute models built in PURE.