TAG semantic differential method