 The structure of the example can be given as follows. There are two instantiated effects \(E_1\) (the sounding of the hooters in Manchester) and \(E_2\) (the workers going home in London) such that \(C_1\) (knocking-off time at five o’clock) is an instantiated common INUS condition: