(S (S (S (SBAR (IN While) (S (BASENP (NNP Taliban) (NNS forces)) (VP (VP (VBP do) (RB not)) (VP (VB have) (NP (BASENP (DT a) (NN history)) (PP (IN of) (S (VP (VP (VBG shooting) (PRT (RP down))) (BASENP (NN aircraft)))))))))) (COMMA ,) (S (BASENP (PRP they)) (VP (VBP claim) (S (VP (TO to) (VP (VB have) (VP (VP (VBN modified) (BASENP (PRPD their) (NNS RPGs))) (PP (IN for) (BASENP (JJ improved) (NN accuracy)))))))))) (CONJP (COMMA ,) (CC but)) (S (NP (EX there)) (VP (VBZ is) (NP (BASENP (DT no) (NN proof)) (PP (IN of) (BASENP (DT this))))))) (PERIOD .))