Assertion: function's statement | /r/HasProperty | produced at the end
Facets:
Source sentences:
text: Alternatively, one may interpret the original statement as a statement in such a formal language; it was merely an abbreviation for the statement produced at the end.