Assertion: abstraction | /r/HasProperty | sound
Facets:
Source sentences:
text: Abstractions, however, though not necessarily exact, should be sound.