( (CP-QUE-MAT (IP-SUB (ADVP-139 (WADV How;{how}))
                      (MD;_cat_Vi_ would;{will})
                      (NP-SBJ (PRO I;{I}))
                      (IP-INF-CAT (ADVP-NIM *ICH*-139)
                                  (ADVP-NIM (ADV ever;{ever}))
                                  (VB;_La_ get;{get})
                                  (ADJP-PRD (ADJ rid;{rid})
                                            (PP (P-ROLE of;{of})
                                                (NP;{LAYLOR} (PRO her;{her}))))))
              (PUNC ?))
  (ID 156_a_loosechange))

arc(r_0156_0002__would,r_0156_0005__get,scope).
arc(r_0156_0005__get,r_0156_0001__How,nim).
arc(r_0156_0005__get,r_0156_0003__I,arg0).
arc(r_0156_0005__get,r_0156_0004__ever,nim).
arc(r_0156_0005__get,r_0156_0006__rid,prd).
arc(r_0156_0006__rid,r_0156_0008__her,r_0156_0007__of).

fof(formula,axiom,
    ? [R_0156_0001__HOW,R_0156_0003__I,R_0156_0004__EVER,R_0156_0008__HER,R_0156_0006__RID,R_0156_0002__WOULD_R_0156_0005__GET] :
      ( r_0156_0001__How(R_0156_0001__HOW)
      & r_0156_0003__I(R_0156_0003__I)
      & r_0156_0004__ever(R_0156_0004__EVER)
      & r_0156_0008__her(R_0156_0008__HER)
      & r_0156_0002__would_r_0156_0005__get(R_0156_0002__WOULD_R_0156_0005__GET)
      & has_prd(R_0156_0002__WOULD_R_0156_0005__GET,R_0156_0006__RID)
      & r_0156_0006__rid(R_0156_0006__RID)
      & has_r_0156_0007__of(R_0156_0006__RID,R_0156_0008__HER)
      & has_nim(R_0156_0002__WOULD_R_0156_0005__GET,R_0156_0004__EVER)
      & has_arg0(R_0156_0002__WOULD_R_0156_0005__GET,R_0156_0003__I)
      & has_nim(R_0156_0002__WOULD_R_0156_0005__GET,R_0156_0001__HOW) ) ).