Assertion: problem | /r/CapableOf | remain undecidable
Facets:
value: for ≥
type: OTHER
Source sentences:
text: This problem is decidable if n ≤ 2,  but remains undecidable for n ≥ 5.
text: This problem is decidable if ≤ 2, but remains undecidable for ≥ 5.