( (IP-MAT (NP-SBJ (D The;{the})
                  (N truth;{truth}))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                                          (HVP;_cat_Ve_ have;{have})
                                          (IP-PPL-CAT (VVN;_Tn_ suffered;{suffer})
                                                      (NP-OB1;{DEPRESSION} (ADJP (ADJ long;{long}))
                                                                           (NS bouts;{bout})
                                                                           (PP (P-ROLE of;{of})
                                                                               (NP (N depression;{depression}))))
                                                      (PP-NIM (P-ROLE since;{since})
                                                              (NP (D the;{the})
                                                                  (NPR US)
                                                                  (NPR Open;{Open})
                                                                  (PP (P-ROLE in;{in})
                                                                      (NP (NPR 2018)))))))
                                    (CONJP (CONJ and;{and})
                                           (ILYR (NP-SBJ (PRO I;{I}))
                                                 (HVP;_cat_Ve_ have;{have})
                                                 (IP-PPL-CAT (HVN;_Tn_ had;{have})
                                                             (NP-OB1 (D a;{a})
                                                                     (ADJP (ADVP (ADV really;{really}))
                                                                           (ADJ hard;{hard}))
                                                                     (N time;{time})
                                                                     (IP-PPL (VAG;_Ipr_ coping;{cope[with]})
                                                                             (PP-CLR (P-ROLE with;{with})
                                                                                     (NP;{DEPRESSION} (D;_nphd_ that;{that})))))))))))
          (PUNC .))
  (ID 5_a_osaka_statement))

arc(r_0005_0003__is,r_0005_0001__The_r_0005_0002__truth,arg0).
arc(r_0005_0003__is,r_0005_0018__and,prd).
arc(r_0005_0006__have,r_0005_0007__suffered,scope).
arc(r_0005_0007__suffered,r_0005_0005__I,arg0).
arc(r_0005_0007__suffered,r_0005_0009__bouts,arg1).
arc(r_0005_0007__suffered,r_0005_0013__the_r_0005_0014__US_r_0005_0015__Open,r_0005_0012__since__nim).
arc(r_0005_0009__bouts,r_0005_0008__long,attrib).
arc(r_0005_0009__bouts,r_0005_0011__depression,r_0005_0010__of).
arc(r_0005_0013__the_r_0005_0014__US_r_0005_0015__Open,r_0005_0017__2018,r_0005_0016__in).
arc(r_0005_0018__and,r_0005_0006__have,conj1).
arc(r_0005_0018__and,r_0005_0020__have,conj2).
arc(r_0005_0020__have,r_0005_0021__had,scope).
arc(r_0005_0021__had,r_0005_0005__I,arg0).
arc(r_0005_0021__had,r_0005_0022__a_r_0005_0025__time,arg1).
arc(r_0005_0022__a_r_0005_0025__time,r_0005_0024__hard,attrib).
arc(r_0005_0024__hard,r_0005_0023__really,qual).
arc(r_0005_0026__coping_r_0005_0027__with,r_0005_0009__bouts,arg1).
arc(r_0005_0026__coping_r_0005_0027__with,r_0005_0022__a_r_0005_0025__time,inv_arg0).

fof(formula,axiom,
    ? [R_0005_0001__THE_R_0005_0002__TRUTH,R_0005_0005__I,R_0005_0008__LONG,R_0005_0011__DEPRESSION,R_0005_0009__BOUTS,R_0005_0017__2018,R_0005_0013__THE_R_0005_0014__US_R_0005_0015__OPEN,R_0005_0006__HAVE_R_0005_0007__SUFFERED,R_0005_0023__REALLY,R_0005_0024__HARD,R_0005_0026__COPING_R_0005_0027__WITH,R_0005_0022__A_R_0005_0025__TIME,R_0005_0020__HAVE_R_0005_0021__HAD,R_0005_0018__AND,R_0005_0003__IS] :
      ( r_0005_0001__The_r_0005_0002__truth(R_0005_0001__THE_R_0005_0002__TRUTH)
      & r_0005_0005__I(R_0005_0005__I)
      & r_0005_0008__long(R_0005_0008__LONG)
      & r_0005_0011__depression(R_0005_0011__DEPRESSION)
      & r_0005_0017__2018(R_0005_0017__2018)
      & r_0005_0023__really(R_0005_0023__REALLY)
      & r_0005_0003__is(R_0005_0003__IS)
      & has_prd(R_0005_0003__IS,R_0005_0018__AND)
      & r_0005_0018__and(R_0005_0018__AND)
      & has_conj2(R_0005_0018__AND,R_0005_0020__HAVE_R_0005_0021__HAD)
      & r_0005_0020__have_r_0005_0021__had(R_0005_0020__HAVE_R_0005_0021__HAD)
      & has_arg1(R_0005_0020__HAVE_R_0005_0021__HAD,R_0005_0022__A_R_0005_0025__TIME)
      & r_0005_0022__a_r_0005_0025__time(R_0005_0022__A_R_0005_0025__TIME)
      & has_inv_arg0(R_0005_0022__A_R_0005_0025__TIME,R_0005_0026__COPING_R_0005_0027__WITH)
      & r_0005_0026__coping_r_0005_0027__with(R_0005_0026__COPING_R_0005_0027__WITH)
      & has_arg1(R_0005_0026__COPING_R_0005_0027__WITH,R_0005_0009__BOUTS)
      & r_0005_0009__bouts(R_0005_0009__BOUTS)
      & has_r_0005_0010__of(R_0005_0009__BOUTS,R_0005_0011__DEPRESSION)
      & has_attrib(R_0005_0009__BOUTS,R_0005_0008__LONG)
      & has_attrib(R_0005_0022__A_R_0005_0025__TIME,R_0005_0024__HARD)
      & r_0005_0024__hard(R_0005_0024__HARD)
      & has_qual(R_0005_0024__HARD,R_0005_0023__REALLY)
      & has_arg0(R_0005_0020__HAVE_R_0005_0021__HAD,R_0005_0005__I)
      & has_conj1(R_0005_0018__AND,R_0005_0006__HAVE_R_0005_0007__SUFFERED)
      & r_0005_0006__have_r_0005_0007__suffered(R_0005_0006__HAVE_R_0005_0007__SUFFERED)
      & has_r_0005_0012__since__nim(R_0005_0006__HAVE_R_0005_0007__SUFFERED,R_0005_0013__THE_R_0005_0014__US_R_0005_0015__OPEN)
      & r_0005_0013__the_r_0005_0014__US_r_0005_0015__Open(R_0005_0013__THE_R_0005_0014__US_R_0005_0015__OPEN)
      & has_r_0005_0016__in(R_0005_0013__THE_R_0005_0014__US_R_0005_0015__OPEN,R_0005_0017__2018)
      & has_arg1(R_0005_0006__HAVE_R_0005_0007__SUFFERED,R_0005_0009__BOUTS)
      & has_arg0(R_0005_0006__HAVE_R_0005_0007__SUFFERED,R_0005_0005__I)
      & has_arg0(R_0005_0003__IS,R_0005_0001__THE_R_0005_0002__TRUTH) ) ).