Context                Previous, Next                Top


610_a_dick_1952
I think, all in all, I really prefer you.”

%3 r_0610_0002__think think r_0610_0001__I I r_0610_0002__think->r_0610_0001__I [arg0] r_0610_0010__prefer prefer r_0610_0002__think->r_0610_0010__prefer [arg1] z_000_610_a_dick_1952_9 r_0610_0002__think->z_000_610_a_dick_1952_9 [nim] r_0610_0010__prefer->r_0610_0001__I [arg0] r_0610_0009__really really r_0610_0010__prefer->r_0610_0009__really [nim] r_0610_0011__you you r_0610_0010__prefer->r_0610_0011__you [arg1] z_000_610_a_dick_1952_15 z_000_610_a_dick_1952_9->z_000_610_a_dick_1952_15 in r_0610_0004__all_quant all [quant] r_0610_0004__all_quant->r_0610_0002__think [scope] r_0610_0006__all_quant all [quant] r_0610_0004__all_quant->r_0610_0006__all_quant [restriction] r_0610_0006__all_quant->z_000_610_a_dick_1952_9 [scope] r_0610_0006__all_quant->z_000_610_a_dick_1952_15 [restriction] 
arc(r_0610_0002__think, r_0610_0001__I, arg0).
arc(r_0610_0002__think, r_0610_0010__prefer, arg1).
arc(r_0610_0002__think, z_000_610_a_dick_1952_9, nim9).
arc(r_0610_0004__all_quant, r_0610_0002__think, scope).
arc(r_0610_0004__all_quant, r_0610_0006__all_quant, restriction).
arc(r_0610_0006__all_quant, z_000_610_a_dick_1952_15, restriction).
arc(r_0610_0006__all_quant, z_000_610_a_dick_1952_9, scope).
arc(r_0610_0010__prefer, r_0610_0001__I, arg0).
arc(r_0610_0010__prefer, r_0610_0009__really, nim25).
arc(r_0610_0010__prefer, r_0610_0011__you, arg1).
arc(z_000_610_a_dick_1952_9, z_000_610_a_dick_1952_15, r_0610_0005__in).


%3 z_000_610_a_dick_1952_9 z_000_610_a_dick_1952_15 z_000_610_a_dick_1952_9->z_000_610_a_dick_1952_15 in r_0610_0010__prefer prefer r_0610_0011__you you r_0610_0010__prefer->r_0610_0011__you [arg1] r_0610_0009__really really r_0610_0010__prefer->r_0610_0009__really [nim] r_0610_0001__I I r_0610_0010__prefer->r_0610_0001__I [arg0] r_0610_0006__all_quant all [quant] r_0610_0006__all_quant->z_000_610_a_dick_1952_15 [restriction] r_0610_0002__think think r_0610_0006__all_quant->r_0610_0002__think [scope] r_0610_0002__think->z_000_610_a_dick_1952_9 [nim] r_0610_0002__think->r_0610_0010__prefer [arg1] r_0610_0002__think->r_0610_0001__I [arg0] r_0610_0004__all_quant all [quant] r_0610_0004__all_quant->r_0610_0006__all_quant [restriction] r_0610_0004__all_quant->r_0610_0002__think [scope] 
fof(formula,axiom,
    ( ! [Z_610_A_DICK_1952_15] :
        ( true
       => ? [R_610_2_THINK,R_610_10_PREFER,R_610_1_I,R_610_11_YOU,R_610_9_REALLY,Z_610_A_DICK_1952_9] :
            ( i(R_610_1_I)
            & you(R_610_11_YOU)
            & really(R_610_9_REALLY)
            & think(R_610_2_THINK,R_610_1_I,R_610_10_PREFER)
            & prefer(R_610_10_PREFER,R_610_1_I,R_610_11_YOU)
            & nim25(R_610_10_PREFER,R_610_9_REALLY)
            & nim9(R_610_2_THINK,Z_610_A_DICK_1952_9)
            & z_610_a_dick_1952_9(Z_610_A_DICK_1952_9)
            & in(Z_610_A_DICK_1952_9,Z_610_A_DICK_1952_15) ) )
   => ? [R_610_2_THINK,R_610_10_PREFER,R_610_1_I,R_610_11_YOU,R_610_9_REALLY,Z_610_A_DICK_1952_9,Z_610_A_DICK_1952_15] :
        ( i(R_610_1_I)
        & you(R_610_11_YOU)
        & really(R_610_9_REALLY)
        & think(R_610_2_THINK,R_610_1_I,R_610_10_PREFER)
        & prefer(R_610_10_PREFER,R_610_1_I,R_610_11_YOU)
        & nim25(R_610_10_PREFER,R_610_9_REALLY)
        & nim9(R_610_2_THINK,Z_610_A_DICK_1952_9)
        & z_610_a_dick_1952_9(Z_610_A_DICK_1952_9)
        & in(Z_610_A_DICK_1952_9,Z_610_A_DICK_1952_15) ) ) ).


n610_a_dick_1952 n610_a_dick_1952__1_1_1_1 I n610_a_dick_1952__1_2_1 think n610_a_dick_1952__1_3_1 , n610_a_dick_1952__1_4_1_1 all n610_a_dick_1952__1_4_2_1_1 in n610_a_dick_1952__1_4_2_2_1_1 all n610_a_dick_1952__1_5_1 , n610_a_dick_1952__1_6_1_1_1_1 I n610_a_dick_1952__1_6_1_2_1_1 really n610_a_dick_1952__1_6_1_3_1 prefer n610_a_dick_1952__1_6_1_4_1_1 you n610_a_dick_1952__1_7_1 . n610_a_dick_1952__1_8_1 <rdquo> n610_a_dick_1952__1 IP-MAT n610_a_dick_1952__1_1 NP-SBJ n610_a_dick_1952__1->n610_a_dick_1952__1_1 n610_a_dick_1952__1_2 VBP;_Tf_ n610_a_dick_1952__1->n610_a_dick_1952__1_2 n610_a_dick_1952__1_3 PUNC n610_a_dick_1952__1->n610_a_dick_1952__1_3 n610_a_dick_1952__1_4 NP-NIM n610_a_dick_1952__1->n610_a_dick_1952__1_4 n610_a_dick_1952__1_5 PUNC n610_a_dick_1952__1->n610_a_dick_1952__1_5 n610_a_dick_1952__1_6 CP-THT-OB1 n610_a_dick_1952__1->n610_a_dick_1952__1_6 n610_a_dick_1952__1_7 PUNC n610_a_dick_1952__1->n610_a_dick_1952__1_7 n610_a_dick_1952__1_8 PURQ n610_a_dick_1952__1->n610_a_dick_1952__1_8 n610_a_dick_1952__1_1_1 PRO n610_a_dick_1952__1_1->n610_a_dick_1952__1_1_1 n610_a_dick_1952__1_1_1->n610_a_dick_1952__1_1_1_1 n610_a_dick_1952__1_2->n610_a_dick_1952__1_2_1 n610_a_dick_1952__1_3->n610_a_dick_1952__1_3_1 n610_a_dick_1952__1_4_1 Q;_nphd_ n610_a_dick_1952__1_4->n610_a_dick_1952__1_4_1 n610_a_dick_1952__1_4_2 PP n610_a_dick_1952__1_4->n610_a_dick_1952__1_4_2 n610_a_dick_1952__1_4_1->n610_a_dick_1952__1_4_1_1 n610_a_dick_1952__1_4_2_1 P-ROLE n610_a_dick_1952__1_4_2->n610_a_dick_1952__1_4_2_1 n610_a_dick_1952__1_4_2_2 NP n610_a_dick_1952__1_4_2->n610_a_dick_1952__1_4_2_2 n610_a_dick_1952__1_4_2_1->n610_a_dick_1952__1_4_2_1_1 n610_a_dick_1952__1_4_2_2_1 Q;_nphd_ n610_a_dick_1952__1_4_2_2->n610_a_dick_1952__1_4_2_2_1 n610_a_dick_1952__1_4_2_2_1->n610_a_dick_1952__1_4_2_2_1_1 n610_a_dick_1952__1_5->n610_a_dick_1952__1_5_1 n610_a_dick_1952__1_6_1 IP-SUB n610_a_dick_1952__1_6->n610_a_dick_1952__1_6_1 n610_a_dick_1952__1_6_1_1 NP-SBJ n610_a_dick_1952__1_6_1->n610_a_dick_1952__1_6_1_1 n610_a_dick_1952__1_6_1_2 ADVP-NIM n610_a_dick_1952__1_6_1->n610_a_dick_1952__1_6_1_2 n610_a_dick_1952__1_6_1_3 VBP;_Tn_ n610_a_dick_1952__1_6_1->n610_a_dick_1952__1_6_1_3 n610_a_dick_1952__1_6_1_4 NP-OB1 n610_a_dick_1952__1_6_1->n610_a_dick_1952__1_6_1_4 n610_a_dick_1952__1_6_1_1_1 PRO n610_a_dick_1952__1_6_1_1->n610_a_dick_1952__1_6_1_1_1 n610_a_dick_1952__1_6_1_1_1->n610_a_dick_1952__1_6_1_1_1_1 n610_a_dick_1952__1_6_1_2_1 ADV n610_a_dick_1952__1_6_1_2->n610_a_dick_1952__1_6_1_2_1 n610_a_dick_1952__1_6_1_2_1->n610_a_dick_1952__1_6_1_2_1_1 n610_a_dick_1952__1_6_1_3->n610_a_dick_1952__1_6_1_3_1 n610_a_dick_1952__1_6_1_4_1 PRO n610_a_dick_1952__1_6_1_4->n610_a_dick_1952__1_6_1_4_1 n610_a_dick_1952__1_6_1_4_1->n610_a_dick_1952__1_6_1_4_1_1 n610_a_dick_1952__1_7->n610_a_dick_1952__1_7_1 n610_a_dick_1952__1_8->n610_a_dick_1952__1_8_1 
( (IP-MAT (NP-SBJ;{NASHA} (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (PUNC ,)
          (NP-NIM (Q;_nphd_ all;{all})
                  (PP (P-ROLE in;{in})
                      (NP (Q;_nphd_ all;{all}))))
          (PUNC ,)
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{NASHA} (PRO I;{I}))
                              (ADVP-NIM (ADV really;{really}))
                              (VBP;_Tn_ prefer;{prefer})
                              (NP-OB1;{DORLE} (PRO you;{you}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 610_a_dick_1952))