Assertion: tree automaton | /r/HasProperty | run on a ground term
Facets:
value: over f
type: LOCATION
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.