Assertion: machine | /r/AtLocation | one of the two states
Facets:
value: at any point in time
type: TEMPORAL
value: exactly
type: DEGREE
Source sentences:
text: This machine can therefore be in exactly one of the two states at any point in time.