Assertion: latch's state | /r/HasProperty | represented by circle
Facets:
value: in this state diagram
type: LOCATION
Source sentences:
text: In this state diagram, a state is represented by a circle, and the transition between states is represented by lines or arcs that connect the circles.