Fig. (14) FSPN translation of trigger.