http://opencaesar.io/sierra/requirement#specifies
Property requirement:specifies

oml:type

oml:UnreifiedRelation

rdf:type

	owl:InverseFunctionalProperty
	owl:ObjectProperty

rdfs:domain

requirement:Requirement

rdfs:range

requirement:DesignElement

rdfs:subPropertyOf

requirement:specifies

owl:inverseOf

requirement:isSpecificedBy