Assertion: machine's state | /r/AtLocation | finite list
Facets:
value: within an fsm
type: LOCATION
Source sentences:
text: Within an FSM, all states in consideration exist in a finite list and the abstract machine can only take on one of those states at a time.