text: A further << reduction in the search space >> is achieved by using [[ semantic ]] rather than syntactic categories on the terminal and non-terminal edges , thereby reducing the amount of ambiguity and thus the number of edges , since only edges with a valid semantic interpretation are ever introduced .