Assertion: function's result | /r/HasProperty | subtraction
Facets:
Source sentences:
text: The second result is " << subtraction (7,2);
text: The third result is " << subtraction (x,y);