Assertion: mind's state | /r/CapableOf | satisfy only the actual computation
Facets:
Source sentences:
text: In other words, it has to have symbolic states that satisfy not only the actual computation, but also the possible computations that the computer could have performed.