Assertion: cellular automaton | /r/HasProperty | exactly one past configuration
Facets:
Source sentences:
text: A cellular automaton is reversible if, for every current configuration of the cellular automaton, there is exactly one past configuration (preimage).