Assertion: function | /r/HasAspect | property
Facets:
Source sentences:
text: Sometimes, a theorem or an axiom asserts the existence of a function having some properties, without describing it more precisely.