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 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->r_0610_0002__think [scope] r_0610_0006__all_quant->z_000_610_a_dick_1952_15 [restriction] 
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_4 I n610_a_dick_1952_6 think n610_a_dick_1952_8 , n610_a_dick_1952_11 all n610_a_dick_1952_14 in n610_a_dick_1952_17 all n610_a_dick_1952_19 , n610_a_dick_1952_24 I n610_a_dick_1952_27 really n610_a_dick_1952_29 prefer n610_a_dick_1952_32 you n610_a_dick_1952_34 . n610_a_dick_1952_36 <rdquo> n610_a_dick_1952_1 IP-MAT n610_a_dick_1952_2 NP-SBJ n610_a_dick_1952_1->n610_a_dick_1952_2 n610_a_dick_1952_5 VBP;_Tf_ n610_a_dick_1952_1->n610_a_dick_1952_5 n610_a_dick_1952_7 PUNC n610_a_dick_1952_1->n610_a_dick_1952_7 n610_a_dick_1952_9 NP-NIM n610_a_dick_1952_1->n610_a_dick_1952_9 n610_a_dick_1952_18 PUNC n610_a_dick_1952_1->n610_a_dick_1952_18 n610_a_dick_1952_20 CP-THT-OB1 n610_a_dick_1952_1->n610_a_dick_1952_20 n610_a_dick_1952_33 PUNC n610_a_dick_1952_1->n610_a_dick_1952_33 n610_a_dick_1952_35 PURQ n610_a_dick_1952_1->n610_a_dick_1952_35 n610_a_dick_1952_3 PRO n610_a_dick_1952_2->n610_a_dick_1952_3 n610_a_dick_1952_3->n610_a_dick_1952_4 n610_a_dick_1952_5->n610_a_dick_1952_6 n610_a_dick_1952_7->n610_a_dick_1952_8 n610_a_dick_1952_10 Q;_nphd_ n610_a_dick_1952_9->n610_a_dick_1952_10 n610_a_dick_1952_12 PP n610_a_dick_1952_9->n610_a_dick_1952_12 n610_a_dick_1952_10->n610_a_dick_1952_11 n610_a_dick_1952_13 P-ROLE n610_a_dick_1952_12->n610_a_dick_1952_13 n610_a_dick_1952_15 NP n610_a_dick_1952_12->n610_a_dick_1952_15 n610_a_dick_1952_13->n610_a_dick_1952_14 n610_a_dick_1952_16 Q;_nphd_ n610_a_dick_1952_15->n610_a_dick_1952_16 n610_a_dick_1952_16->n610_a_dick_1952_17 n610_a_dick_1952_18->n610_a_dick_1952_19 n610_a_dick_1952_21 IP-SUB n610_a_dick_1952_20->n610_a_dick_1952_21 n610_a_dick_1952_22 NP-SBJ n610_a_dick_1952_21->n610_a_dick_1952_22 n610_a_dick_1952_25 ADVP-NIM n610_a_dick_1952_21->n610_a_dick_1952_25 n610_a_dick_1952_28 VBP;_Tn_ n610_a_dick_1952_21->n610_a_dick_1952_28 n610_a_dick_1952_30 NP-OB1 n610_a_dick_1952_21->n610_a_dick_1952_30 n610_a_dick_1952_23 PRO n610_a_dick_1952_22->n610_a_dick_1952_23 n610_a_dick_1952_23->n610_a_dick_1952_24 n610_a_dick_1952_26 ADV n610_a_dick_1952_25->n610_a_dick_1952_26 n610_a_dick_1952_26->n610_a_dick_1952_27 n610_a_dick_1952_28->n610_a_dick_1952_29 n610_a_dick_1952_31 PRO n610_a_dick_1952_30->n610_a_dick_1952_31 n610_a_dick_1952_31->n610_a_dick_1952_32 n610_a_dick_1952_33->n610_a_dick_1952_34 n610_a_dick_1952_35->n610_a_dick_1952_36 
( (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))