Assertion: reset | /r/HasProperty | the first
Facets:
value: since power-up
type: TEMPORAL
Source sentences:
text: Some Smart Cards (mostly of the asynchronous variety) send different ATR depending on if the reset is the first since power-up (Cold ATR) or not (Warm ATR).