Assertion: parameter's value | /r/HasProperty | vanilla
Facets:
value: in the following example
type: OTHER
Source sentences:
text: In the following example, the value of the variable $flavor must be either Chocolate, Strawberry, or Vanilla.