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

arc(r_0013_0002__hope,r_0013_0001__Always,nim).
arc(r_0013_0002__hope,r_0013_0004__are,arg1).
arc(r_0013_0002__hope,z_0013_5002,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,nim).
arc(r_0013_0006__doing,r_0013_0007__well,nim).
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,nim).
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_0013_5002,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_0013_5002(Z_0013_5002)
      & r_0013_0002__hope(R_0013_0002__HOPE)
      & has_arg0(R_0013_0002__HOPE,Z_0013_5002)
      & 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_nim(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_nim(R_0013_0006__DOING,R_0013_0007__WELL)
      & has_nim(R_0013_0006__DOING,R_0013_0005__ALL)
      & has_arg0(R_0013_0006__DOING,R_0013_0003__YOU)
      & has_nim(R_0013_0002__HOPE,R_0013_0001__ALWAYS) ) ).