Assertion: tree automaton | /r/CapableOf | test for tree properties
Facets:
Source sentences:
text: Consequently, a deterministic top-down tree automaton will only be able to test for tree properties that are true in all branches, because the choice of the state to write into each child branch is determined at the parent node, without knowing the child branches contents.