Assertion: ghost | /r/HasProperty | pspace-hard
Facets:
Source sentences:
text: Spook on regular language is PSPACE-hard, but it's unknown if it's in EXPSPACE.