( (IP-MAT (ADVP-NIM (ADV Only;{only}))
          (NP-SBJ (PRO I;{I}))
          (VBD;__ knew;{know})
          (CP-QUE-OB1 (IP-SUB (NP-145 (WD what;{what})
                                      (D a;{a})
                                      (ADJP (ADJ menacing;{menacing}))
                                      (N place;{place}))
                              (NP-SBJ (NP-GEN;{LAYLOR} (NPR Laylor;{Laylor})
                                                       (GENM <apos>s))
                                      (N world;{world}))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (NP-PRD *ICH*-145)
                                          (VVN;_Ln_ become;{become}))))
          (PUNC .))
  (ID 134_a_loosechange))

arc(r_0134_0003__knew,r_0134_0001__Only,nim).
arc(r_0134_0003__knew,r_0134_0002__I,arg0).
arc(r_0134_0003__knew,r_0134_0011__had,arg1).
arc(r_0134_0004__what_r_0134_0005__a_r_0134_0007__place,r_0134_0006__menacing,attrib).
arc(r_0134_0010__world,r_0134_0008__Laylor,gen).
arc(r_0134_0011__had,r_0134_0012__become,scope).
arc(r_0134_0012__become,r_0134_0004__what_r_0134_0005__a_r_0134_0007__place,prd).
arc(r_0134_0012__become,r_0134_0010__world,arg0).

fof(formula,axiom,
    ? [R_0134_0001__ONLY,R_0134_0002__I,R_0134_0006__MENACING,R_0134_0004__WHAT_R_0134_0005__A_R_0134_0007__PLACE,R_0134_0008__LAYLOR,R_0134_0010__WORLD,R_0134_0011__HAD_R_0134_0012__BECOME,R_0134_0003__KNEW] :
      ( r_0134_0001__Only(R_0134_0001__ONLY)
      & r_0134_0002__I(R_0134_0002__I)
      & r_0134_0006__menacing(R_0134_0006__MENACING)
      & r_0134_0008__Laylor(R_0134_0008__LAYLOR)
      & r_0134_0003__knew(R_0134_0003__KNEW)
      & has_arg1(R_0134_0003__KNEW,R_0134_0011__HAD_R_0134_0012__BECOME)
      & r_0134_0011__had_r_0134_0012__become(R_0134_0011__HAD_R_0134_0012__BECOME)
      & has_arg0(R_0134_0011__HAD_R_0134_0012__BECOME,R_0134_0010__WORLD)
      & r_0134_0010__world(R_0134_0010__WORLD)
      & has_gen(R_0134_0010__WORLD,R_0134_0008__LAYLOR)
      & has_prd(R_0134_0011__HAD_R_0134_0012__BECOME,R_0134_0004__WHAT_R_0134_0005__A_R_0134_0007__PLACE)
      & r_0134_0004__what_r_0134_0005__a_r_0134_0007__place(R_0134_0004__WHAT_R_0134_0005__A_R_0134_0007__PLACE)
      & has_attrib(R_0134_0004__WHAT_R_0134_0005__A_R_0134_0007__PLACE,R_0134_0006__MENACING)
      & has_arg0(R_0134_0003__KNEW,R_0134_0002__I)
      & has_nim(R_0134_0003__KNEW,R_0134_0001__ONLY) ) ).