Assertion: function's domain | /r/HasProperty | the object
Facets:
Source sentences:
text: The domain of any morphism is the object from which an arrow starts.