Assertion: tree automaton | /r/CapableOf | associate run state
Facets:
value: from q
type: LOCATION
value: with each subterm
type: OTHER
Source sentences:
text: A bottom-up tree automaton is run on a ground term over F, starting at all its leaves simultaneously and moving upwards, associating a run state from Q with each subterm.