Assertion: unison | /r/CapableOf | put correct type signature
Facets:
value: on square
type: LOCATION
Source sentences:
text: Notice that Unison has put the correct type signature on square .