arc(r_0013_0002__hope, r_0013_0001__Always, nim5).
arc(r_0013_0002__hope, r_0013_0004__are, arg1).
arc(r_0013_0002__hope, z_000_13_a_osaka_statement_2, arg0).
arc(r_0013_0004__are, r_0013_0008__and, scope).
arc(r_0013_0006__doing, r_0013_0003__you, arg0).
arc(r_0013_0006__doing, r_0013_0005__all, nim18).
arc(r_0013_0006__doing, r_0013_0007__well, nim25).
arc(r_0013_0008__and, r_0013_0006__doing, conj1).
arc(r_0013_0008__and, r_0013_0009__staying, conj2).
arc(r_0013_0009__staying, r_0013_0003__you, arg0).
arc(r_0013_0009__staying, r_0013_0005__all, nim18).
arc(r_0013_0009__staying, r_0013_0010__safe, prd).

fof(formula,axiom,
    ? [R_0013_0001__ALWAYS,R_0013_0003__YOU,R_0013_0005__ALL,R_0013_0007__WELL,R_0013_0006__DOING,R_0013_0010__SAFE,R_0013_0009__STAYING,R_0013_0008__AND,R_0013_0004__ARE,Z_000_13_A_OSAKA_STATEMENT_2,R_0013_0002__HOPE] :
      ( r_0013_0001__Always(R_0013_0001__ALWAYS)
      & r_0013_0003__you(R_0013_0003__YOU)
      & r_0013_0005__all(R_0013_0005__ALL)
      & r_0013_0007__well(R_0013_0007__WELL)
      & r_0013_0010__safe(R_0013_0010__SAFE)
      & z_000_13_a_osaka_statement_2(Z_000_13_A_OSAKA_STATEMENT_2)
      & r_0013_0002__hope(R_0013_0002__HOPE)
      & has_arg0(R_0013_0002__HOPE,Z_000_13_A_OSAKA_STATEMENT_2)
      & has_arg1(R_0013_0002__HOPE,R_0013_0004__ARE)
      & r_0013_0004__are(R_0013_0004__ARE)
      & has_keep_scope(R_0013_0004__ARE,R_0013_0008__AND)
      & r_0013_0008__and(R_0013_0008__AND)
      & has_conj2(R_0013_0008__AND,R_0013_0009__STAYING)
      & r_0013_0009__staying(R_0013_0009__STAYING)
      & has_prd(R_0013_0009__STAYING,R_0013_0010__SAFE)
      & has_nim18(R_0013_0009__STAYING,R_0013_0005__ALL)
      & has_arg0(R_0013_0009__STAYING,R_0013_0003__YOU)
      & has_conj1(R_0013_0008__AND,R_0013_0006__DOING)
      & r_0013_0006__doing(R_0013_0006__DOING)
      & has_nim25(R_0013_0006__DOING,R_0013_0007__WELL)
      & has_nim18(R_0013_0006__DOING,R_0013_0005__ALL)
      & has_arg0(R_0013_0006__DOING,R_0013_0003__YOU)
      & has_nim5(R_0013_0002__HOPE,R_0013_0001__ALWAYS) ) ).

( (IP-MAT (NP-SBJ;{SPEAKER} (PRO *))
          (ADVP-NIM (ADV Always;{always}))
          (VBP;_Tf_ hope;{hope})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                              (BEP;_cat_Vg_ are;{be})
                              (IP-PPL-CAT (ADVP-NIM (ADV all;{all}))
                                          (ILYR (ILYR (DAG doing;{do})
                                                      (ADVP-NIM (ADV well;{well})))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (VAG;_La_ staying;{stay})
                                                             (ADJP-PRD (ADJ safe;{safe}))))))))
          (PUNC ,))
  (ID 13_a_osaka_statement))