( (IP-MAT (ILYR (PP-TPC-CLR (P-ROLE In;{in})
                            (NP (Q every;{every})
                                (ADJP (ADJ happy;{happy}))
                                (N home;{home})))
                (BEP;_Ipr_ is;{be[in]})
                (NP-SBJ (D a;{a})
                        (N hedgehog;{hedgehog})))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NPRS Pashtuns;{Pashtuns}))
                           (MD;_cat_Vi_ would;{will})
                           (IP-INF-CAT (VB;_I_ say;{say}))))
          (PUNC .))
  (ID 103_a_hedgehog;speaker=Tugendhat))

arc(r_0103_0001__In_r_0103_0005__is,r_0103_0004__home,arg1).
arc(r_0103_0001__In_r_0103_0005__is,r_0103_0006__a_r_0103_0007__hedgehog,arg0).
arc(r_0103_0002__every__quant,r_0103_0001__In_r_0103_0005__is,scope).
arc(r_0103_0002__every__quant,r_0103_0004__home,restriction).
arc(r_0103_0004__home,r_0103_0003__happy,attrib).
arc(r_0103_0009__as,r_0103_0002__every__quant,scope).
arc(r_0103_0009__as,r_0103_0012__would,restriction).
arc(r_0103_0012__would,r_0103_0013__say,scope).
arc(r_0103_0013__say,r_0103_0010__the_r_0103_0011__Pashtuns,arg0).

fof(formula,axiom,
    ? [R_0103_0010__THE_R_0103_0011__PASHTUNS,R_0103_0012__WOULD_R_0103_0013__SAY,R_0103_0009__AS] :
      ( r_0103_0010__the_r_0103_0011__Pashtuns(R_0103_0010__THE_R_0103_0011__PASHTUNS)
      & r_0103_0009__as(R_0103_0009__AS)
      & has_conj1(R_0103_0009__AS,R_0103_0012__WOULD_R_0103_0013__SAY)
      & r_0103_0012__would_r_0103_0013__say(R_0103_0012__WOULD_R_0103_0013__SAY)
      & has_arg0(R_0103_0012__WOULD_R_0103_0013__SAY,R_0103_0010__THE_R_0103_0011__PASHTUNS)
      & ! [R_0103_0004__HOME,R_0103_0003__HAPPY] :
          ( ( r_0103_0003__happy(R_0103_0003__HAPPY)
            & r_0103_0004__home(R_0103_0004__HOME)
            & has_attrib(R_0103_0004__HOME,R_0103_0003__HAPPY) )
         => ? [R_0103_0006__A_R_0103_0007__HEDGEHOG,R_0103_0001__IN_R_0103_0005__IS] :
              ( r_0103_0006__a_r_0103_0007__hedgehog(R_0103_0006__A_R_0103_0007__HEDGEHOG)
              & r_0103_0001__In_r_0103_0005__is(R_0103_0001__IN_R_0103_0005__IS)
              & has_arg0(R_0103_0001__IN_R_0103_0005__IS,R_0103_0006__A_R_0103_0007__HEDGEHOG)
              & has_arg1(R_0103_0001__IN_R_0103_0005__IS,R_0103_0004__HOME) ) ) ) ).