Assertion: chisel's use | /r/CapableOf | maintain all the required properties
Facets:
Source sentences:
text: The use of alloy maintains all the required properties