Assertion: parameter's value | /r/CapableOf | pass to output value
Facets:
Source sentences:
text: But this is possible only if the value passed to the procedure and output value have a same datatype.