Tag formal linguistics