Assertion: expression's number | /r/HasProperty | a such
Facets:
Source sentences:
text: For example, it can be defined as the unique positive number a such that the graph of the function y = ax has unit slope at x = 0.