SBVR11 — Inconsistency in is-role-of and is-category-of fact types

One of the example fact types provided in section 11.1.5.2 under “is-role-of fact type” is “rental car plays the role ‘replacement car’ in the fact type ‘breakdown during rental has replacement car’.” with the comment that “An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car.” I have a few concerns with this:
1. some of the text in this fact type should be in verb style
2. the underlining in ‘replacement car’ should be continuous both times
3. trying to instantiate the fact type produces something like “(The car registered) ’ABC123’ plays the role ‘replacement car’ in the fact type ‘breakdown during rental has replacement car’.” if we assume that underlined strings inside single quotes are not placeholders, while “(The car registered) ’ABC123’ plays the role ‘replacement car’ in the ??? ‘Breakdown #1234 has replacement car’.” is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) ‘Breakdown #1234 has replacement car’ is neither a fact nor a fact type.
4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated
5. to support the latter argument, the EU-Rent examples in section E.1.4 has no ‘is-role-of’ fact types but does have ‘related facts’ such as “The noun concept 'return branch' is a role that ranges over the noun concept 'branch.’”.

"Is-role-of fact type" was revised as part of the Resolution of Issue 13716. Discussion of this issue identified some changes needed in the wording of the examples. (Details below.)
For the concerns specifically stated in the issue Summary:
1. This Example applies the conventions used for an Example clause, i.e., verbs do not have any special styling in examples.
2. The underlining was corrected to be continuous.
3. This concept is no longer a kind of fact type so this point is no longer applicable.
4. This concept is now a kind of proposition (fact about the model).
5. The examples in Annex E are being revised to reflect changes made under Issue 13716 (et al).
Note: The title of this issue also mentions "is-category-of fact type" but nothing on this was included in the issue detail. In any case, "is-category-of fact type" was also revised as part of the Resolution of Issue 13716.