Assertion: period | /r/HasProperty | possible state
Facets:
Source sentences:
text: The point x = 10 is a possible state which the sampler must eventually visit if run long enough.