Assertion: parameter's value | /r/HasProperty | a four-digit number
Facets:
value: exactly
type: DEGREE
value: in the following example
type: OTHER
Source sentences:
text: In the following example, the value of the variable $number must be exactly a four-digit number, and each digit must be a number zero to nine.