An optional fact type declared for a supertype, can be made required on a subtype through the method of adding a subset constraint. However than these will appear as multiple inheritence in the UML Class Diagram, which is wrong. It should then render as a subtype with an additional mandatory attribute (or check constraint).