If:
(a) an exploration licence is in force under this Act; and
(b) the Joint Authority provisionally grants a mining licence over all or some of the blocks in the exploration licence area; and
(c) the provisional grant of the mining licence is properly accepted; and
(d) the mining licence comes into force;
the exploration licence expires in relation to the blocks covered by the mining licence.