vocabulary <http://ua.be/sdo2l/vocabulary/formalisms/traceability_model#> as traceability_model {
	extends <http://ua.be/sdo2l/vocabulary/formalisms/object_diagram#> as object_diagram
		
	// A traceability link is just a link :)
	relation entity TraceabilityLink :> object_diagram:Link [
		from object_diagram:Object
		to object_diagram:Object
		forward traceLinkTo
		reverse traceLinkFrom
		asymmetric
		irreflexive
	]
	
	concept TraceabilityModel :> object_diagram:Model [
		restricts all relation object_diagram:hasObject to TraceabilityLink
	]
}