Assertion: expression | /r/HasProperty | well-formed
Facets:
value: nonetheless
type: DEGREE
value: in the usual notation of arithmetic
type: OTHER
Source sentences:
text: An expression is a syntactic construct, it must be well-formed: the allowed operators must have the correct number of inputs in the correct places, the characters that make up these inputs must be valid, have a clear order of operations, etc.
text: The semantic rules may declare that certain expressions do not designate any value (for instance when they involve division by 0); such expressions are said to have an undefined value, but they are well-formed expressions nonetheless.
text: For example, in the usual notation of arithmetic, the expression 1 + 2 × 3 is well-formed, but the following expression is not:
text: These semantic rules may declare that certain expressions do not designate any value; such expressions are said to have an undefined value, but they are well-formed expressions nonetheless.