Assertion: tree automaton | /r/CapableOf | accept the set of all terms
Facets:
Source sentences:
text: The top-down finite tree automaton accepting the set of all terms corresponding to multiples of 3 in binary string notation is then defined by: