Table 2.

Phenotype identifier.

Node	Logic rule
Naïve	¬(EOMES ˅ TBET ˅ GATA3 ˅ ROR γT ˅ FOXP3)
Effector	¬FOX01 ˄ EOMES ˄ (TBET ˅ GATA3 ˅ ROR γT ˅ FOXP3)
Memory	FOX01 ˄ EOMES ˄ (TBET ˅ GATA3 ˅ RORγT ˅ FOXP3 )
Tc0	¬(EOMES ˅ TBET ˅ GATA3 ˅ RORγT ˅ FOXP3)
Tc1	EOMES ˄ (TBET ˄ IFNγ) ˄ ¬ FOX01 ˄ ¬ (GATA3 ˅ RORγT ˅ FOXP3)
Tc2	EOMES ˄ (GATA3 ˄ IL4) ˄ ¬ FOX01 ˄ ¬(TBET ˅ RORγT ˅ FOXP3)
Tc17	EOMES ˄ (RORγT) ˄ ¬ FOX01 ˄ ¬(TBET ˅ GATA3 ˅ FOXP3)
TcReg	EOMES ˄ (FOX03 ˄ IL10) ˄ ¬ FOX01 ˄ ¬(TBET ˅ GATA3 ˅ RORγT)

In this table we used ˄to represent the logic operator “AND”, ˅ to represent “OR” and finally “¬ “ to represent “NOT”.