Translating the SBGN-AF language into logic to analyze signalling networks