Assertion: abort | /r/HasProperty | called
Facets:
value: somewhere
type: LOCATION
Source sentences:
text: If myfile.txt does not exist, a message is printed and abort is called.
text: An abort trap usually means that abort was called somewhere.