Assertion: tree automaton | /r/CapableOf | test
Facets:
value: consequently
type: MANNER
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.