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,
    ! [R_0610_0006__ALL_QUANT] :
      ( ! [Z_000_610_A_DICK_1952_15] :
          ( z_000_610_a_dick_1952_15(Z_000_610_A_DICK_1952_15)
         => ? [R_0610_0001__I,R_0610_0009__REALLY,R_0610_0011__YOU,R_0610_0010__PREFER,Z_000_610_A_DICK_1952_9,R_0610_0002__THINK] :
              ( r_0610_0001__I(R_0610_0001__I)
              & r_0610_0009__really(R_0610_0009__REALLY)
              & r_0610_0011__you(R_0610_0011__YOU)
              & r_0610_0002__think(R_0610_0002__THINK)
              & has_nim9(R_0610_0002__THINK,Z_000_610_A_DICK_1952_9)
              & z_000_610_a_dick_1952_9(Z_000_610_A_DICK_1952_9)
              & has_r_0610_0005__in(Z_000_610_A_DICK_1952_9,Z_000_610_A_DICK_1952_15)
              & has_arg1(R_0610_0002__THINK,R_0610_0010__PREFER)
              & r_0610_0010__prefer(R_0610_0010__PREFER)
              & has_arg1(R_0610_0010__PREFER,R_0610_0011__YOU)
              & has_nim25(R_0610_0010__PREFER,R_0610_0009__REALLY)
              & has_arg0(R_0610_0010__PREFER,R_0610_0001__I)
              & has_arg0(R_0610_0002__THINK,R_0610_0001__I) ) )
     => ? [R_0610_0001__I,R_0610_0009__REALLY,R_0610_0011__YOU,R_0610_0010__PREFER,Z_000_610_A_DICK_1952_15,Z_000_610_A_DICK_1952_9,R_0610_0002__THINK] :
          ( r_0610_0001__I(R_0610_0001__I)
          & r_0610_0009__really(R_0610_0009__REALLY)
          & r_0610_0011__you(R_0610_0011__YOU)
          & z_000_610_a_dick_1952_15(Z_000_610_A_DICK_1952_15)
          & r_0610_0002__think(R_0610_0002__THINK)
          & has_nim9(R_0610_0002__THINK,Z_000_610_A_DICK_1952_9)
          & z_000_610_a_dick_1952_9(Z_000_610_A_DICK_1952_9)
          & has_r_0610_0005__in(Z_000_610_A_DICK_1952_9,Z_000_610_A_DICK_1952_15)
          & has_arg1(R_0610_0002__THINK,R_0610_0010__PREFER)
          & r_0610_0010__prefer(R_0610_0010__PREFER)
          & has_arg1(R_0610_0010__PREFER,R_0610_0011__YOU)
          & has_nim25(R_0610_0010__PREFER,R_0610_0009__REALLY)
          & has_arg0(R_0610_0010__PREFER,R_0610_0001__I)
          & has_arg0(R_0610_0002__THINK,R_0610_0001__I) ) ) ).


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