Legacy Issue Number: 19728
Source: Thematix Partners LLC ( Edward Barkmeyer)
The title of this issue is an example of common problem in SBVR Structured English.
Impossibility: An SBVR SE statement contains a qualifier whose subject is a property of the referent.
Given the verb concept 'sequence has member' aka 'thing is member of sequence', how is the following definition to be written in SBVR SE: "sequence each member of which is a time point"?
The referent of the pronoun 'which' is the sequence, but the subject of the qualifier clause is a quantified property of the referent. But SBVR SE only permits the (anaphor) pronoun to be 'that' or 'who' and apparently requires it to follow the referent noun immediately.
SBVR SE does not permit: "sequence of which each member is a time point".
And it does not provide a 'where' or 'such that' construct that would allow the back reference to be represented by 'the sequence', as in: "sequence where each member of the sequence is a time point".
Even the simpler case of a reference to a unique property of the referent in the qualifier clause --"shipment whose delivery date has passed" – requires a circumlocution ("shipment that has a delivery date that has passed"), because 'whose' is not an SBVR SE keyword. And the cascading 'that's interfere with the expression of compound qualifiers (using 'and that ').
In our experience, this shortcoming significantly limits the clear expression of definitions and rules in SBVR SE.
Reported: SBVR 1.1 — Sat, 21 Feb 2015 05:00 GMT
Updated: Tue, 3 Jan 2017 13:19 GMT