Since we only have a single NT X in the formalism described above, we do not need to add the NT label in states.
we need to specify one of the three types of the dependency structure: fixed, floating on the left side, or floating on the right side.