Assertion: abstraction | /r/HasProperty | one
Facets:
Source sentences:
text: The idea is that the abstractions that are leaky are the ones that are not precise in the way Dijkstra specified.