Assertion: function | /r/HasProperty | serial
Facets:
Source sentences:
text: A function is a binary relation that is functional and serial.
text: A function is a binary relation that is functional (also called right-unique) and serial (also called left-total).