Assertion: machine | /r/CapableOf | compute erase
Facets:
value: on a repeatedly
type: TEMPORAL
Source sentences:
text: = \textrm{ERASE}(\textrm{ERASE}\_\textrm{ALL}, q_j,a)\): the machines computes ERASE on a repeatedly until all a ’s have been erased.