Pošalji zapis e-poštom: Logical modeling of thymus and natural killer lymphocyte differentiation