SBVR — Bad Example of Extensional Definition

The following example given in C.3.2.1 (pg. 202) is no longer correct.

semantic formulation

Definition: logical formulation or projection

Recommendation:

Replace that example with ‘bindable target’ as follows:

bindable target

Definition: variable or text

Replace the sentence above the example that says “For example, a semantic formulation is anything that is a logical formulation or a projection” with this: “For example, a bindable target is anything that is a variable or a text”.

Replace the example with 'bindable target'.