Formal definitions of Function, Requirement, Specification, and CatalogItem (DeliverableSpecification) that allow inferring an instance into each class

[rjyounes]

May not be possible in all cases. See parent issue for more discussion.