Assertion: tree automaton | /r/HasProperty | powerful
Facets:
value: as nd tree automata
type: OTHER
Source sentences:
text: (Deterministic bottom-up tree automata are as powerful as ND tree automata.)