Assertion: model | /r/HasProperty | translated
Facets:
value: often
type: DEGREE
Source sentences:
text: Often the model is translated to or interpreted as a finite state automaton or a state transition system.