Assertion: bind | /r/HasProperty | s → t × s
Facets:
Source sentences:
text: ↦ s ↦ ( t , s ) bind : ( S → T × S ) →