Assertion: trace | /r/HasProperty | record
Facets:
value: in some locations
type: LOCATION
Source sentences:
text: A trace of snow is a record in some locations.
text: Since the trace is recorded by following one concrete execution path of the loop, later executions of that trace can diverge from that path.