Write down temporal logic formula that capture the meanings of the properties described in English below BQREQ error started or atomic properties that is properties of states and in each case say which logic you are using first question P is that true infinitely often on every competition part second from every state it is possible to get to a state where P is true third all parts which have a P along them also have a queue along them for their exist apart on which P is true on every second state fifth if ever Ari Q is high and started is low then eventually error will become permanently high