Email Record: Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction