Assertion: function's argument | /r/CapableOf | conform to actual generic parameter
Facets:
value: for the structure
type: PURPOSE
Source sentences:
text: The routine for_all expects as an argument an agent representing a function with one open argument or target that conforms to actual generic parameter for the structure ( STRING in this example.)