103_a_hedgehog
In every happy home is a hedgehog, as the Pashtuns would say.

%3 r_0103_0002__every_quant every [quant] r_0103_0004__home home r_0103_0002__every_quant->r_0103_0004__home [restriction] r_0103_0005__is is r_0103_0002__every_quant->r_0103_0005__is [scope] r_0103_0003__happy happy r_0103_0004__home->r_0103_0003__happy [attrib] r_0103_0005__is->r_0103_0004__home In [clr] r_0103_0006__a_r_0103_0007__hedgehog a hedgehog r_0103_0005__is->r_0103_0006__a_r_0103_0007__hedgehog [arg0] r_0103_0009__as as r_0103_0009__as->r_0103_0002__every_quant [scope] r_0103_0012__would would r_0103_0009__as->r_0103_0012__would [restriction] r_0103_0013__say say r_0103_0012__would->r_0103_0013__say [scope] r_0103_0010__the_r_0103_0011__Pashtuns the Pashtuns r_0103_0013__say->r_0103_0010__the_r_0103_0011__Pashtuns [arg0]
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).



%3 r_0103_0002__every_quant every [quant] r_0103_0004__home home r_0103_0002__every_quant->r_0103_0004__home [restriction] r_0103_0005__is is r_0103_0002__every_quant->r_0103_0005__is [scope] r_0103_0003__happy happy r_0103_0004__home->r_0103_0003__happy [attrib] r_0103_0005__is->r_0103_0004__home In [clr] r_0103_0006__a_r_0103_0007__hedgehog a hedgehog r_0103_0005__is->r_0103_0006__a_r_0103_0007__hedgehog [arg0] r_0103_0009__as as r_0103_0009__as->r_0103_0002__every_quant [conj2] r_0103_0012__would_r_0103_0013__say would say r_0103_0009__as->r_0103_0012__would_r_0103_0013__say [conj1] r_0103_0010__the_r_0103_0011__Pashtuns the Pashtuns r_0103_0012__would_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) ) ).



n103_a_hedgehog n103_a_hedgehog_5 In n103_a_hedgehog_8 every n103_a_hedgehog_11 happy n103_a_hedgehog_13 home n103_a_hedgehog_15 is n103_a_hedgehog_18 a n103_a_hedgehog_20 hedgehog n103_a_hedgehog_22 , n103_a_hedgehog_25 as n103_a_hedgehog_29 the n103_a_hedgehog_31 Pashtuns n103_a_hedgehog_33 would n103_a_hedgehog_36 say n103_a_hedgehog_38 . n103_a_hedgehog_1 IP-MAT n103_a_hedgehog_2 ILYR n103_a_hedgehog_1->n103_a_hedgehog_2 n103_a_hedgehog_21 PUNC n103_a_hedgehog_1->n103_a_hedgehog_21 n103_a_hedgehog_23 PP-SCON n103_a_hedgehog_1->n103_a_hedgehog_23 n103_a_hedgehog_37 PUNC n103_a_hedgehog_1->n103_a_hedgehog_37 n103_a_hedgehog_3 PP-TPC-CLR n103_a_hedgehog_2->n103_a_hedgehog_3 n103_a_hedgehog_14 BEP;_Ipr_ n103_a_hedgehog_2->n103_a_hedgehog_14 n103_a_hedgehog_16 NP-SBJ n103_a_hedgehog_2->n103_a_hedgehog_16 n103_a_hedgehog_4 P-ROLE n103_a_hedgehog_3->n103_a_hedgehog_4 n103_a_hedgehog_6 NP n103_a_hedgehog_3->n103_a_hedgehog_6 n103_a_hedgehog_4->n103_a_hedgehog_5 n103_a_hedgehog_7 Q n103_a_hedgehog_6->n103_a_hedgehog_7 n103_a_hedgehog_9 ADJP n103_a_hedgehog_6->n103_a_hedgehog_9 n103_a_hedgehog_12 N n103_a_hedgehog_6->n103_a_hedgehog_12 n103_a_hedgehog_7->n103_a_hedgehog_8 n103_a_hedgehog_10 ADJ n103_a_hedgehog_9->n103_a_hedgehog_10 n103_a_hedgehog_10->n103_a_hedgehog_11 n103_a_hedgehog_12->n103_a_hedgehog_13 n103_a_hedgehog_14->n103_a_hedgehog_15 n103_a_hedgehog_17 D n103_a_hedgehog_16->n103_a_hedgehog_17 n103_a_hedgehog_19 N n103_a_hedgehog_16->n103_a_hedgehog_19 n103_a_hedgehog_17->n103_a_hedgehog_18 n103_a_hedgehog_19->n103_a_hedgehog_20 n103_a_hedgehog_21->n103_a_hedgehog_22 n103_a_hedgehog_24 P-CONN n103_a_hedgehog_23->n103_a_hedgehog_24 n103_a_hedgehog_26 IP-ADV n103_a_hedgehog_23->n103_a_hedgehog_26 n103_a_hedgehog_24->n103_a_hedgehog_25 n103_a_hedgehog_27 NP-SBJ n103_a_hedgehog_26->n103_a_hedgehog_27 n103_a_hedgehog_32 MD;_cat_Vi_ n103_a_hedgehog_26->n103_a_hedgehog_32 n103_a_hedgehog_34 IP-INF-CAT n103_a_hedgehog_26->n103_a_hedgehog_34 n103_a_hedgehog_28 D n103_a_hedgehog_27->n103_a_hedgehog_28 n103_a_hedgehog_30 NPRS n103_a_hedgehog_27->n103_a_hedgehog_30 n103_a_hedgehog_28->n103_a_hedgehog_29 n103_a_hedgehog_30->n103_a_hedgehog_31 n103_a_hedgehog_32->n103_a_hedgehog_33 n103_a_hedgehog_35 VB;_I_ n103_a_hedgehog_34->n103_a_hedgehog_35 n103_a_hedgehog_35->n103_a_hedgehog_36 n103_a_hedgehog_37->n103_a_hedgehog_38
( (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))