arc(r_0103_0002__every_quant, r_0103_0004__home, restriction).
arc(r_0103_0002__every_quant, r_0103_0005__is, scope).
arc(r_0103_0004__home, r_0103_0003__happy, attrib9).
arc(r_0103_0005__is, r_0103_0004__home, r_0103_0001__In_clr6).
arc(r_0103_0005__is, r_0103_0006__a_r_0103_0007__hedgehog, arg0).
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_103_9_AS,R_103_12_WOULD_SAY,R_103_10_THE_PASHTUNS] :
      ( the_Pashtuns(R_103_10_THE_PASHTUNS)
      & ! [R_103_4_HOME,R_103_3_HAPPY] :
          ( ( happy(R_103_3_HAPPY)
            & home(R_103_4_HOME)
            & attrib9(R_103_4_HOME,R_103_3_HAPPY) )
         => ? [R_103_5_IS,R_103_6_A_HEDGEHOG] :
              ( a_hedgehog(R_103_6_A_HEDGEHOG)
              & is(R_103_5_IS,R_103_6_A_HEDGEHOG)
              & in_clr6(R_103_5_IS,R_103_4_HOME) ) )
      & conj2(CONJ2)
      & as(R_103_9_AS)
      & conj1(R_103_9_AS,R_103_12_WOULD_SAY)
      & would_say(R_103_12_WOULD_SAY,R_103_10_THE_PASHTUNS) ) ).

( (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))