Assertion: variable's type | /r/HasProperty | defined for the transition
Facets:
value: from to x = 1
type: OTHER
Source sentences:
text: In particular, four types of effects have been defined for the transition from X = 0 to X = 1: