Assertion: abstraction | /r/HasProperty | defined to concrete
Facets:
Source sentences:
text: Abstraction is defined to a concrete (more precise) model of execution.