Adding syntax subsumption tree