( (IP-MAT (ADVP-NIM (ADV More_importantly;{more_importantly}))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (ADVP-NIM (ADV never;{never}))
                      (ILYR (ILYR (VB;_Tn_ trivialise;{trivialise})
                                  (NP-OB1 (ADJP (ADJ mental;{mental}))
                                          (N health;{health})))
                            (CONJP (CONJ or;{or})
                                   (ILYR (VB;_Tn_ use;{use})
                                         (NP-OB1 (D the;{the})
                                                 (N term;{term}))
                                         (ADVP-NIM (ADV lightly;{lightly}))))))
          (PUNC .))
  (ID 4_a_osaka_statement))

arc(r_0004_0003__would,r_0004_0001__More_importantly,nim).
arc(r_0004_0003__would,r_0004_0008__or,scope).
arc(r_0004_0005__trivialise,r_0004_0002__I,arg0).
arc(r_0004_0005__trivialise,r_0004_0004__never,nim).
arc(r_0004_0005__trivialise,r_0004_0007__health,arg1).
arc(r_0004_0007__health,r_0004_0006__mental,attrib).
arc(r_0004_0008__or,r_0004_0005__trivialise,conj1).
arc(r_0004_0008__or,r_0004_0009__use,conj2).
arc(r_0004_0009__use,r_0004_0002__I,arg0).
arc(r_0004_0009__use,r_0004_0004__never,nim).
arc(r_0004_0009__use,r_0004_0010__the_r_0004_0011__term,arg1).
arc(r_0004_0009__use,r_0004_0012__lightly,nim).

fof(formula,axiom,
    ? [R_0004_0001__MORE_IMPORTANTLY,R_0004_0002__I,R_0004_0004__NEVER,R_0004_0006__MENTAL,R_0004_0007__HEALTH,R_0004_0005__TRIVIALISE,R_0004_0010__THE_R_0004_0011__TERM,R_0004_0012__LIGHTLY,R_0004_0009__USE,R_0004_0008__OR,R_0004_0003__WOULD] :
      ( r_0004_0001__More_importantly(R_0004_0001__MORE_IMPORTANTLY)
      & r_0004_0002__I(R_0004_0002__I)
      & r_0004_0004__never(R_0004_0004__NEVER)
      & r_0004_0006__mental(R_0004_0006__MENTAL)
      & r_0004_0010__the_r_0004_0011__term(R_0004_0010__THE_R_0004_0011__TERM)
      & r_0004_0012__lightly(R_0004_0012__LIGHTLY)
      & r_0004_0003__would(R_0004_0003__WOULD)
      & has_keep_scope(R_0004_0003__WOULD,R_0004_0008__OR)
      & r_0004_0008__or(R_0004_0008__OR)
      & has_conj2(R_0004_0008__OR,R_0004_0009__USE)
      & r_0004_0009__use(R_0004_0009__USE)
      & has_nim(R_0004_0009__USE,R_0004_0012__LIGHTLY)
      & has_arg1(R_0004_0009__USE,R_0004_0010__THE_R_0004_0011__TERM)
      & has_nim(R_0004_0009__USE,R_0004_0004__NEVER)
      & has_arg0(R_0004_0009__USE,R_0004_0002__I)
      & has_conj1(R_0004_0008__OR,R_0004_0005__TRIVIALISE)
      & r_0004_0005__trivialise(R_0004_0005__TRIVIALISE)
      & has_arg1(R_0004_0005__TRIVIALISE,R_0004_0007__HEALTH)
      & r_0004_0007__health(R_0004_0007__HEALTH)
      & has_attrib(R_0004_0007__HEALTH,R_0004_0006__MENTAL)
      & has_nim(R_0004_0005__TRIVIALISE,R_0004_0004__NEVER)
      & has_arg0(R_0004_0005__TRIVIALISE,R_0004_0002__I)
      & has_nim(R_0004_0003__WOULD,R_0004_0001__MORE_IMPORTANTLY) ) ).