. . "restricted derivation trees" . "restricted derivation trees" .