arc(r_0006_0002__that_r_0006_0003__knows, r_0006_0001__Anyone, arg0).
arc(r_0006_0002__that_r_0006_0003__knows, r_0006_0004__me, arg1).
arc(r_0006_0005__knows, r_0006_0001__Anyone, arg0).
arc(r_0006_0005__knows, r_0006_0007___apos_m, arg1).
arc(r_0006_0007___apos_m, r_0006_0004__me, arg0).
arc(r_0006_0007___apos_m, r_0006_0008__introverted, prd).
arc(r_0006_0010__and, r_0006_0005__knows, conj1).
arc(r_0006_0010__and, r_0006_0019__will, conj2).
arc(r_0006_0012__that_r_0006_0013__has, r_0006_0014__seen, scope).
arc(r_0006_0014__seen, r_0006_0004__me, arg1).
arc(r_0006_0014__seen, r_0006_0011__anyone, arg0).
arc(r_0006_0014__seen, r_0006_0017__the_r_0006_0018__tournaments, r_0006_0016__at_nim54).
arc(r_0006_0019__will, r_0006_0020__notice, scope).
arc(r_0006_0020__notice, r_0006_0011__anyone, arg0).
arc(r_0006_0020__notice, r_0006_0027__as, arg1).
arc(r_0006_0021__that_r_0006_0023___apos_m, r_0006_0025__wearing, scope).
arc(r_0006_0025__wearing, r_0006_0004__me, arg0).
arc(r_0006_0025__wearing, r_0006_0024__often, nim74).
arc(r_0006_0025__wearing, r_0006_0026__headphones, arg1).
arc(r_0006_0027__as, r_0006_0021__that_r_0006_0023___apos_m, scope).
arc(r_0006_0027__as, r_0006_0029__helps, restriction).
arc(r_0006_0029__helps, r_0006_0004__me, arg1).
arc(r_0006_0029__helps, r_0006_0028__that, arg0).
arc(r_0006_0029__helps, r_0006_0030__dull, prd).
arc(r_0006_0030__dull, r_0006_0033__anxiety, arg1).
arc(r_0006_0030__dull, x_000_6_a_osaka_statement_94, arg0).
arc(r_0006_0033__anxiety, r_0006_0004__me, gen).
arc(r_0006_0033__anxiety, r_0006_0032__social, attrib101).

fof(formula,axiom,
    ? [R_6_2_THAT_KNOWS,R_6_10_AND,R_6_5_KNOWS,R_6_1_ANYONE,R_6_7__APOS_M,R_6_8_INTROVERTED,R_6_19_WILL_NOTICE,R_6_27_AS,R_6_29_HELPS,R_6_28_THAT,R_6_30_DULL,X_6_A_OSAKA_STATEMENT_94,R_6_33_ANXIETY,R_6_32_SOCIAL,R_6_21_THAT_APOS_M_WEARING,R_6_26_HEADPHONES,R_6_24_OFTEN,R_6_12_THAT_HAS_SEEN,R_6_11_ANYONE,R_6_4_ME,R_6_17_THE_TOURNAMENTS] :
      ( anyone(R_6_1_ANYONE)
      & introverted(R_6_8_INTROVERTED)
      & that(R_6_28_THAT)
      & social(R_6_32_SOCIAL)
      & headphones(R_6_26_HEADPHONES)
      & often(R_6_24_OFTEN)
      & anyone(R_6_11_ANYONE)
      & me(R_6_4_ME)
      & the_tournaments(R_6_17_THE_TOURNAMENTS)
      & that_knows(R_6_2_THAT_KNOWS,R_6_1_ANYONE,R_6_4_ME)
      & and(R_6_10_AND)
      & conj1(R_6_10_AND,R_6_5_KNOWS)
      & knows(R_6_5_KNOWS,R_6_1_ANYONE,R_6_7__APOS_M)
      & _apos_m(R_6_7__APOS_M,R_6_4_ME,R_6_8_INTROVERTED)
      & conj2(R_6_10_AND,R_6_19_WILL_NOTICE)
      & will_notice(R_6_19_WILL_NOTICE,R_6_11_ANYONE,R_6_27_AS)
      & as(R_6_27_AS)
      & conj1(R_6_27_AS,R_6_29_HELPS)
      & helps(R_6_29_HELPS,R_6_28_THAT,R_6_4_ME,R_6_30_DULL)
      & dull(R_6_30_DULL,X_6_A_OSAKA_STATEMENT_94,R_6_33_ANXIETY)
      & anxiety(R_6_33_ANXIETY)
      & attrib101(R_6_33_ANXIETY,R_6_32_SOCIAL)
      & gen(R_6_33_ANXIETY,R_6_4_ME)
      & conj2(R_6_27_AS,R_6_21_THAT_APOS_M_WEARING)
      & that_apos_m_wearing(R_6_21_THAT_APOS_M_WEARING,R_6_4_ME,R_6_26_HEADPHONES)
      & nim74(R_6_21_THAT_APOS_M_WEARING,R_6_24_OFTEN)
      & that_has_seen(R_6_12_THAT_HAS_SEEN,R_6_11_ANYONE,R_6_4_ME)
      & at_nim54(R_6_12_THAT_HAS_SEEN,R_6_17_THE_TOURNAMENTS) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (D;_nphd_ Anyone;{anyone})
                              (IP-REL (C that;{that})
                                      (NP-SBJ *T*)
                                      (VBP;_Tn_ knows;{know})
                                      (NP-OB1 (PRO me;{I}))))
                      (VBP;_Tf_ knows;{know})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO I;{I}))
                                          (BEP;_La_ <apos>m;{be})
                                          (ADJP-PRD (ADJ introverted;{introverted})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D;_nphd_ anyone;{anyone})
                                     (IP-REL (C that;{that})
                                             (NP-SBJ *T*)
                                             (HVP;_cat_Ve_ has;{have})
                                             (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                                                         (NP-OB1 (PRO me;{I}))
                                                         (PP-NIM (P-ROLE at;{at})
                                                                 (NP (D the;{the})
                                                                     (NS tournaments;{tournament}))))))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;_Tf_ notice;{notice})
                                         (CP-THT-OB1 (IP-SUB (C that;{that})
                                                             (NP-SBJ (PRO I;{I}))
                                                             (BEP;_cat_Vg_ <apos>m;{be})
                                                             (IP-PPL-CAT;{WEAR_HEADPHONES} (ADVP-NIM (ADV often;{often}))
                                                                                           (VAG;_Tn_ wearing;{wear})
                                                                                           (NP-OB1 (NS headphones;{headphone})))
                                                             (PP-SCON (P-CONN as;{as})
                                                                      (IP-ADV (NP-SBJ;{WEAR_HEADPHONES} (D;_nphd_ that;{that}))
                                                                              (VBP;_Cn.i_ helps;{help})
                                                                              (NP-OB1;{SPEAKER} (PRO _*_))
                                                                              (IP-INF-PRD (VB;_Tn_ dull;{dull})
                                                                                          (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                                                                                  (ADJP (ADJ social;{social}))
                                                                                                  (N anxiety;{anxiety})))))))))))
          (PUNC .))
  (ID 6_a_osaka_statement))