ই-মেইল নথি: Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction