arc(r_0003_0002__news_r_0003_0003__reports, r_0003_0001__Local, attrib3).
arc(r_0003_0004__said, r_0003_0002__news_r_0003_0003__reports, arg0).
arc(r_0003_0004__said, r_0003_0013__and, arg1).
arc(r_0003_0006__five_r_0003_0007__mortar_r_0003_0008__shells, r_0003_0005__at_least, qual17).
arc(r_0003_0009__hit, r_0003_0006__five_r_0003_0007__mortar_r_0003_0008__shells, arg0).
arc(r_0003_0009__hit, r_0003_0010__the_r_0003_0011__palace_r_0003_0012__compound, arg1).
arc(r_0003_0009__hit, r_0003_0021__Wednesday, nim61).
arc(r_0003_0013__and, r_0003_0009__hit, conj1).
arc(r_0003_0013__and, r_0003_0016__were, conj2).
arc(r_0003_0015__mortars, r_0003_0014__other, attrib40).
arc(r_0003_0016__were, r_0003_0017__fired, scope).
arc(r_0003_0016__were, r_0003_0021__Wednesday, nim61).
arc(r_0003_0017__fired, r_0003_0015__mortars, arg1).
arc(r_0003_0017__fired, r_0003_0018__elsewhere, nim52).
arc(r_0003_0017__fired, z_000_3_a_voice_of_america_48, arg0).
arc(r_0003_0018__elsewhere, r_0003_0020__Mogadishu, r_0003_0019__in).

fof(formula,axiom,
    ? [R_0003_0001__LOCAL,R_0003_0002__NEWS_R_0003_0003__REPORTS,R_0003_0005__AT_LEAST,R_0003_0006__FIVE_R_0003_0007__MORTAR_R_0003_0008__SHELLS,R_0003_0010__THE_R_0003_0011__PALACE_R_0003_0012__COMPOUND,R_0003_0021__WEDNESDAY,R_0003_0009__HIT,R_0003_0014__OTHER,R_0003_0015__MORTARS,R_0003_0020__MOGADISHU,R_0003_0018__ELSEWHERE,Z_000_3_A_VOICE_OF_AMERICA_48,R_0003_0016__WERE_R_0003_0017__FIRED,R_0003_0013__AND,R_0003_0004__SAID] :
      ( r_0003_0001__Local(R_0003_0001__LOCAL)
      & r_0003_0005__at_least(R_0003_0005__AT_LEAST)
      & r_0003_0010__the_r_0003_0011__palace_r_0003_0012__compound(R_0003_0010__THE_R_0003_0011__PALACE_R_0003_0012__COMPOUND)
      & r_0003_0014__other(R_0003_0014__OTHER)
      & r_0003_0020__Mogadishu(R_0003_0020__MOGADISHU)
      & r_0003_0021__Wednesday(R_0003_0021__WEDNESDAY)
      & z_000_3_a_voice_of_america_48(Z_000_3_A_VOICE_OF_AMERICA_48)
      & r_0003_0004__said(R_0003_0004__SAID)
      & has_arg1(R_0003_0004__SAID,R_0003_0013__AND)
      & r_0003_0013__and(R_0003_0013__AND)
      & has_conj2(R_0003_0013__AND,R_0003_0016__WERE_R_0003_0017__FIRED)
      & r_0003_0016__were_r_0003_0017__fired(R_0003_0016__WERE_R_0003_0017__FIRED)
      & has_arg0(R_0003_0016__WERE_R_0003_0017__FIRED,Z_000_3_A_VOICE_OF_AMERICA_48)
      & has_nim52(R_0003_0016__WERE_R_0003_0017__FIRED,R_0003_0018__ELSEWHERE)
      & r_0003_0018__elsewhere(R_0003_0018__ELSEWHERE)
      & has_r_0003_0019__in(R_0003_0018__ELSEWHERE,R_0003_0020__MOGADISHU)
      & has_arg1(R_0003_0016__WERE_R_0003_0017__FIRED,R_0003_0015__MORTARS)
      & r_0003_0015__mortars(R_0003_0015__MORTARS)
      & has_attrib40(R_0003_0015__MORTARS,R_0003_0014__OTHER)
      & has_nim61(R_0003_0016__WERE_R_0003_0017__FIRED,R_0003_0021__WEDNESDAY)
      & has_conj1(R_0003_0013__AND,R_0003_0009__HIT)
      & r_0003_0009__hit(R_0003_0009__HIT)
      & has_nim61(R_0003_0009__HIT,R_0003_0021__WEDNESDAY)
      & has_arg1(R_0003_0009__HIT,R_0003_0010__THE_R_0003_0011__PALACE_R_0003_0012__COMPOUND)
      & has_arg0(R_0003_0009__HIT,R_0003_0006__FIVE_R_0003_0007__MORTAR_R_0003_0008__SHELLS)
      & r_0003_0006__five_r_0003_0007__mortar_r_0003_0008__shells(R_0003_0006__FIVE_R_0003_0007__MORTAR_R_0003_0008__SHELLS)
      & has_qual17(R_0003_0006__FIVE_R_0003_0007__MORTAR_R_0003_0008__SHELLS,R_0003_0005__AT_LEAST)
      & has_arg0(R_0003_0004__SAID,R_0003_0002__NEWS_R_0003_0003__REPORTS)
      & r_0003_0002__news_r_0003_0003__reports(R_0003_0002__NEWS_R_0003_0003__REPORTS)
      & has_attrib3(R_0003_0002__NEWS_R_0003_0003__REPORTS,R_0003_0001__LOCAL) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Local;{local}))
                  (N news;{news})
                  (NS reports;{report}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (ILYR (ILYR (NP-SBJ (ADVP (ADV at_least;{at_least}))
                                                  (NUM five;{five})
                                                  (N mortar;{mortar})
                                                  (NS shells;{shell}))
                                          (VBD;_Tn_ hit;{hit})
                                          (NP-OB1;{PALACE} (D the;{the})
                                                           (N palace;{palace})
                                                           (N compound;{compound})))
                                    (CONJP (CONJ and;{and})
                                           (ILYR (NP-SBJ (ADJP (ADJ other;{other}))
                                                         (NS mortars;{mortar}))
                                                 (BED;_cat_VePASS_ were;{be})
                                                 (IP-PPL-CAT (NP-LGS *)
                                                             (VVN;_Tn_ fired;{fire})
                                                             (ADVP-NIM (ADV elsewhere;{elsewhere})
                                                                       (PP (P-ROLE in;{in})
                                                                           (NP (NPR Mogadishu;{Mogadishu}))))))))
                              (NP-NIM (NPR Wednesday;{Wednesday}))))
          (PUNC .))
  (ID 3_a_voice_of_america;p00d0030))