arc(r_0090_0002__would, r_0090_0001__How, nim3).
arc(r_0090_0002__would, r_0090_0004__feel, scope).
arc(r_0090_0004__feel, r_0090_0003__you, arg0).
arc(r_0090_0005__if, r_0090_0002__would, scope).
arc(r_0090_0005__if, r_0090_0007__brought, restriction).
arc(r_0090_0007__brought, r_0090_0006__I, arg0).
arc(r_0090_0007__brought, r_0090_0009__family, arg1).
arc(r_0090_0007__brought, r_0090_0010__to_r_0090_0011__live, prd).
arc(r_0090_0009__family, r_0090_0006__I, gen).
arc(r_0090_0010__to_r_0090_0011__live, r_0090_0012__here, clr34).
arc(r_0090_0010__to_r_0090_0011__live, x_000_90_a_stuck_japan_29, arg0).

fof(formula,axiom,
    ! [R_0090_0007__BROUGHT,R_0090_0006__I,R_0090_0009__FAMILY,R_0090_0012__HERE,X_000_90_A_STUCK_JAPAN_29,R_0090_0010__TO_R_0090_0011__LIVE] :
      ( ( r_0090_0006__I(R_0090_0006__I)
        & r_0090_0012__here(R_0090_0012__HERE)
        & x_000_90_a_stuck_japan_29(X_000_90_A_STUCK_JAPAN_29)
        & r_0090_0007__brought(R_0090_0007__BROUGHT)
        & has_prd(R_0090_0007__BROUGHT,R_0090_0010__TO_R_0090_0011__LIVE)
        & r_0090_0010__to_r_0090_0011__live(R_0090_0010__TO_R_0090_0011__LIVE)
        & has_arg0(R_0090_0010__TO_R_0090_0011__LIVE,X_000_90_A_STUCK_JAPAN_29)
        & has_clr34(R_0090_0010__TO_R_0090_0011__LIVE,R_0090_0012__HERE)
        & has_arg1(R_0090_0007__BROUGHT,R_0090_0009__FAMILY)
        & r_0090_0009__family(R_0090_0009__FAMILY)
        & has_gen(R_0090_0009__FAMILY,R_0090_0006__I)
        & has_arg0(R_0090_0007__BROUGHT,R_0090_0006__I) )
     => ? [R_0090_0001__HOW,R_0090_0003__YOU,R_0090_0002__WOULD_R_0090_0004__FEEL] :
          ( r_0090_0001__How(R_0090_0001__HOW)
          & r_0090_0003__you(R_0090_0003__YOU)
          & r_0090_0002__would_r_0090_0004__feel(R_0090_0002__WOULD_R_0090_0004__FEEL)
          & has_arg0(R_0090_0002__WOULD_R_0090_0004__FEEL,R_0090_0003__YOU)
          & has_nim3(R_0090_0002__WOULD_R_0090_0004__FEEL,R_0090_0001__HOW) ) ) ).

( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV How;{how}))
                      (MD;_cat_Vi_ would;{would})
                      (NP-SBJ (PRO you;{you}))
                      (IP-PPL-CAT (VB;_I_ feel;{feel}))
                      (PP-SCON (P-CONN if;{if})
                               (IP-ADV (NP-SBJ (PRO I;{I}))
                                       (VBD;_Cn.t_ brought;{bring})
                                       (NP-OB1 (NP-GEN (PRO my;{my}))
                                               (N family;{family}))
                                       (IP-INF-PRD (TO to;{to})
                                                   (VB;_Ip_ live;{live[here]})
                                                   (ADVP-CLR (RP here;{here}))))))
              (PUNC ?))
  (ID 90_a_stuck_japan))