14. The system of claim 13 , wherein in response to the first edge matching the second edge as a result based on a substitute semantic relationship, decreasing the first similarity value based on the substitution.
13. The system of claim 10 , wherein a first edge in the first augmented proposition tree matches a second edge in the second proposition tree in response to a semantic relationship associated with the first edge being substitutable for the semantic relationship associated with the second edge.