Warranty¶ Open interactive Warranty diagram Formalization for Warranty¶ Property Constraint subClassOf ContractualElement