Assertion: problem | /r/CapableOf | become decidable
Facets:
Source sentences:
text: Also note that if one removes correspondence, the problem becomes decidable.