Assertion: real number's value | /r/HasProperty | the result
Facets:
Source sentences:
text: Another view, and the one taken by the ISO C99 and IEEE 754-2008 standards in general, is that if the function has multiple arguments and the output is uniquely determined by all the non-NaN inputs (including infinity), then that value should be the result.