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_0028__that, arg0).
arc(r_0006_0029__helps, r_0006_0030__dull, prd).
arc(r_0006_0029__helps, z_000_6_a_osaka_statement_91, arg1).
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_0006_0001__ANYONE,R_0006_0004__ME,R_0006_0002__THAT_R_0006_0003__KNOWS,R_0006_0008__INTROVERTED,R_0006_0007___APOS_M,R_0006_0005__KNOWS,R_0006_0011__ANYONE,R_0006_0024__OFTEN,R_0006_0026__HEADPHONES,R_0006_0021__THAT_R_0006_0023___APOS_M_R_0006_0025__WEARING,R_0006_0028__THAT,R_0006_0032__SOCIAL,R_0006_0033__ANXIETY,X_000_6_A_OSAKA_STATEMENT_94,R_0006_0030__DULL,Z_000_6_A_OSAKA_STATEMENT_91,R_0006_0029__HELPS,R_0006_0027__AS,R_0006_0019__WILL_R_0006_0020__NOTICE,R_0006_0010__AND,R_0006_0017__THE_R_0006_0018__TOURNAMENTS,R_0006_0012__THAT_R_0006_0013__HAS_R_0006_0014__SEEN] :
      ( r_0006_0001__Anyone(R_0006_0001__ANYONE)
      & r_0006_0004__me(R_0006_0004__ME)
      & r_0006_0008__introverted(R_0006_0008__INTROVERTED)
      & r_0006_0011__anyone(R_0006_0011__ANYONE)
      & r_0006_0017__the_r_0006_0018__tournaments(R_0006_0017__THE_R_0006_0018__TOURNAMENTS)
      & r_0006_0024__often(R_0006_0024__OFTEN)
      & r_0006_0026__headphones(R_0006_0026__HEADPHONES)
      & r_0006_0028__that(R_0006_0028__THAT)
      & r_0006_0032__social(R_0006_0032__SOCIAL)
      & x_000_6_a_osaka_statement_94(X_000_6_A_OSAKA_STATEMENT_94)
      & z_000_6_a_osaka_statement_91(Z_000_6_A_OSAKA_STATEMENT_91)
      & r_0006_0012__that_r_0006_0013__has_r_0006_0014__seen(R_0006_0012__THAT_R_0006_0013__HAS_R_0006_0014__SEEN)
      & has_r_0006_0016__at_nim54(R_0006_0012__THAT_R_0006_0013__HAS_R_0006_0014__SEEN,R_0006_0017__THE_R_0006_0018__TOURNAMENTS)
      & has_arg0(R_0006_0012__THAT_R_0006_0013__HAS_R_0006_0014__SEEN,R_0006_0011__ANYONE)
      & has_arg1(R_0006_0012__THAT_R_0006_0013__HAS_R_0006_0014__SEEN,R_0006_0004__ME)
      & r_0006_0010__and(R_0006_0010__AND)
      & has_conj2(R_0006_0010__AND,R_0006_0019__WILL_R_0006_0020__NOTICE)
      & ~ ( has_arg1(R_0006_0019__WILL_R_0006_0020__NOTICE,R_0006_0027__AS)
          & r_0006_0027__as(R_0006_0027__AS)
          & has_conj1(R_0006_0027__AS,R_0006_0029__HELPS)
          & r_0006_0029__helps(R_0006_0029__HELPS)
          & has_arg1(R_0006_0029__HELPS,Z_000_6_A_OSAKA_STATEMENT_91)
          & has_prd(R_0006_0029__HELPS,R_0006_0030__DULL)
          & r_0006_0030__dull(R_0006_0030__DULL)
          & has_arg0(R_0006_0030__DULL,X_000_6_A_OSAKA_STATEMENT_94)
          & has_arg1(R_0006_0030__DULL,R_0006_0033__ANXIETY)
          & r_0006_0033__anxiety(R_0006_0033__ANXIETY)
          & has_attrib101(R_0006_0033__ANXIETY,R_0006_0032__SOCIAL)
          & has_gen(R_0006_0033__ANXIETY,R_0006_0004__ME)
          & has_arg0(R_0006_0029__HELPS,R_0006_0028__THAT)
          & has_conj2(R_0006_0027__AS,R_0006_0021__THAT_R_0006_0023___APOS_M_R_0006_0025__WEARING)
          & r_0006_0021__that_r_0006_0023___apos_m_r_0006_0025__wearing(R_0006_0021__THAT_R_0006_0023___APOS_M_R_0006_0025__WEARING)
          & has_arg1(R_0006_0021__THAT_R_0006_0023___APOS_M_R_0006_0025__WEARING,R_0006_0026__HEADPHONES)
          & has_nim74(R_0006_0021__THAT_R_0006_0023___APOS_M_R_0006_0025__WEARING,R_0006_0024__OFTEN)
          & has_arg0(R_0006_0021__THAT_R_0006_0023___APOS_M_R_0006_0025__WEARING,R_0006_0004__ME)
          & has_arg0(R_0006_0019__WILL_R_0006_0020__NOTICE,R_0006_0011__ANYONE) )
      & has_conj1(R_0006_0010__AND,R_0006_0005__KNOWS)
      & r_0006_0005__knows(R_0006_0005__KNOWS)
      & has_arg1(R_0006_0005__KNOWS,R_0006_0007___APOS_M)
      & r_0006_0007___apos_m(R_0006_0007___APOS_M)
      & has_prd(R_0006_0007___APOS_M,R_0006_0008__INTROVERTED)
      & has_arg0(R_0006_0007___APOS_M,R_0006_0004__ME)
      & has_arg0(R_0006_0005__KNOWS,R_0006_0001__ANYONE)
      & r_0006_0002__that_r_0006_0003__knows(R_0006_0002__THAT_R_0006_0003__KNOWS)
      & has_arg1(R_0006_0002__THAT_R_0006_0003__KNOWS,R_0006_0004__ME)
      & has_arg0(R_0006_0002__THAT_R_0006_0003__KNOWS,R_0006_0001__ANYONE) ) ).

( (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))