(S (S (S (BASENP (PRP It)) (VP (VP (VP (VBD insisted) (ADVP (RB then))) (SBAR (IN that) (S (BASENP (DT the) (NN truce)) (VP (VP (VBD was) (ADVP (RB still))) (PP (IN in) (BASENP (NN effect))))))) (CONJP (COMMA ,) (CC but)) (VP (ADVP (RB finally)) (VP (VP (VBD declared) (S (BASENP (PRP it)) (VP (ADVP (RB formally)) (ADJP (JJ over))))) (PP (IN in) (BASENP (NNP June))))))) (CONJP (COMMA ,) (CC and)) (S (BASENP (JJ Spanish) (NN security) (NNS forces)) (VP (VBP have) (VP (VP (VBN been) (PP (IN on) (BASENP (NN alert)))) (ADVP (RB ever) (RB since)))))) (PERIOD .))