SBVR11 — Definitions in subsection 11.1.5

A number of the definitions in this subsection are incomprehensible, and not well integrated with the rest of the SBVR vocabulary. These definitions center on: assortment fact type, categorization fact type, is-role-of fact type, and is-facet-of fact type. Also, these concepts are defined as kinds of "fact types", but should actually be defined as kinds of facts. Finally, the order of the entries needs adjustment as a result of the above.

The four items being changed from kinds of 'fact type' to kinds of 'fact' ('proposition') under this proposal were always intended to characterize 'fact', but since these are meta-facts (having the appearance of fact types) people mistook them for fact types and wrote them up as such. This proposal corrects that error. In summary, this proposal:
• Makes the necessary changes to correct the entries for assortment fact type, categorization fact type, is-role-of fact type, and is-facet-of fact type from being specified as 'fact type' to 'fact' (kinds of 'proposition').
• Fills a gap in the Scheme by adding two categories that had inadvertantly been left out ('characteristic' and 'characterization').
• Adds a fact type to relate 'facet' to 'concept' (in parallel to what is in place to relate 'role' to 'concept')
• Makes minor styling corrections throughout 11.1.5, in particular in the Examples.