Symbol Index for "FFA/State"
Symbol Index for diagram
"FFA/State"
Discard Focus (Transition)
Establish Focus (Transition)
Established Focus (State)
Rejected Focus (State)
Relevant Focus (State)