Context                Previous, Next                Top


102_a_dick_1952
“We can break down the stored fats if we want to, but —”

%3 r_0102_0003__can_r_0102_0014__but can but r_0102_0004__break_r_0102_0005__down break down r_0102_0003__can_r_0102_0014__but->r_0102_0004__break_r_0102_0005__down [scope] r_0102_0002__We We r_0102_0004__break_r_0102_0005__down->r_0102_0002__We [arg0] r_0102_0006__the_r_0102_0008__fats the fats r_0102_0004__break_r_0102_0005__down->r_0102_0006__the_r_0102_0008__fats [arg1] r_0102_0007__stored stored r_0102_0007__stored->r_0102_0006__the_r_0102_0008__fats [arg1] z_000_102_a_dick_1952_18 r_0102_0007__stored->z_000_102_a_dick_1952_18 [arg0] r_0102_0009__if if r_0102_0009__if->r_0102_0003__can_r_0102_0014__but [scope] r_0102_0011__want want r_0102_0009__if->r_0102_0011__want [restriction] r_0102_0011__want->r_0102_0002__We [arg0] r_0102_0012__to to r_0102_0011__want->r_0102_0012__to [arg1] r_0102_0012__to->r_0102_0002__We [arg0] 
arc(r_0102_0003__can_r_0102_0014__but, r_0102_0004__break_r_0102_0005__down, scope).
arc(r_0102_0004__break_r_0102_0005__down, r_0102_0002__We, arg0).
arc(r_0102_0004__break_r_0102_0005__down, r_0102_0006__the_r_0102_0008__fats, arg1).
arc(r_0102_0007__stored, r_0102_0006__the_r_0102_0008__fats, arg1).
arc(r_0102_0007__stored, z_000_102_a_dick_1952_18, arg0).
arc(r_0102_0009__if, r_0102_0003__can_r_0102_0014__but, scope).
arc(r_0102_0009__if, r_0102_0011__want, restriction).
arc(r_0102_0011__want, r_0102_0002__We, arg0).
arc(r_0102_0011__want, r_0102_0012__to, arg1).
arc(r_0102_0012__to, r_0102_0002__We, arg0).


%3 r_0102_0012__to to r_0102_0002__We We r_0102_0012__to->r_0102_0002__We [arg0] r_0102_0011__want want r_0102_0011__want->r_0102_0012__to [arg1] r_0102_0011__want->r_0102_0002__We [arg0] r_0102_0009__if if r_0102_0009__if->r_0102_0011__want [restriction] r_0102_0003__can_r_0102_0014__but_r_0102_0004__break_r_0102_0005__down can but break down r_0102_0009__if->r_0102_0003__can_r_0102_0014__but_r_0102_0004__break_r_0102_0005__down [scope] r_0102_0003__can_r_0102_0014__but_r_0102_0004__break_r_0102_0005__down->r_0102_0002__We [arg0] r_0102_0006__the_r_0102_0008__fats the fats r_0102_0003__can_r_0102_0014__but_r_0102_0004__break_r_0102_0005__down->r_0102_0006__the_r_0102_0008__fats [arg1] r_0102_0007__stored stored z_000_102_a_dick_1952_18 r_0102_0007__stored->z_000_102_a_dick_1952_18 [arg0] r_0102_0007__stored->r_0102_0006__the_r_0102_0008__fats [arg1] 
fof(formula,axiom,
    ? [R_0102_0006__THE_R_0102_0008__FATS,Z_000_102_A_DICK_1952_18,R_0102_0007__STORED] :
      ( r_0102_0006__the_r_0102_0008__fats(R_0102_0006__THE_R_0102_0008__FATS)
      & z_000_102_a_dick_1952_18(Z_000_102_A_DICK_1952_18)
      & ! [R_0102_0011__WANT,R_0102_0002__WE,R_0102_0012__TO] :
          ( ( r_0102_0002__We(R_0102_0002__WE)
            & r_0102_0011__want(R_0102_0011__WANT)
            & has_arg1(R_0102_0011__WANT,R_0102_0012__TO)
            & r_0102_0012__to(R_0102_0012__TO)
            & has_arg0(R_0102_0012__TO,R_0102_0002__WE)
            & has_arg0(R_0102_0011__WANT,R_0102_0002__WE) )
         => ? [R_0102_0003__CAN_R_0102_0014__BUT_R_0102_0004__BREAK_R_0102_0005__DOWN] :
              ( r_0102_0003__can_r_0102_0014__but_r_0102_0004__break_r_0102_0005__down(R_0102_0003__CAN_R_0102_0014__BUT_R_0102_0004__BREAK_R_0102_0005__DOWN)
              & has_arg1(R_0102_0003__CAN_R_0102_0014__BUT_R_0102_0004__BREAK_R_0102_0005__DOWN,R_0102_0006__THE_R_0102_0008__FATS)
              & has_arg0(R_0102_0003__CAN_R_0102_0014__BUT_R_0102_0004__BREAK_R_0102_0005__DOWN,R_0102_0002__WE) ) )
      & r_0102_0007__stored(R_0102_0007__STORED)
      & has_arg0(R_0102_0007__STORED,Z_000_102_A_DICK_1952_18)
      & has_arg1(R_0102_0007__STORED,R_0102_0006__THE_R_0102_0008__FATS) ) ).


n102_a_dick_1952 n102_a_dick_1952__1_1_1 <ldquo> n102_a_dick_1952__1_2_1_1 We n102_a_dick_1952__1_3_1 can n102_a_dick_1952__1_4_1_1 break n102_a_dick_1952__1_4_2_1 down n102_a_dick_1952__1_4_3_1_1 the n102_a_dick_1952__1_4_3_2_1_1 * n102_a_dick_1952__1_4_3_2_2_1 stored n102_a_dick_1952__1_4_3_3_1 fats n102_a_dick_1952__1_5_1_1 if n102_a_dick_1952__1_5_2_1_1_1 we n102_a_dick_1952__1_5_2_2_1 want n102_a_dick_1952__1_5_2_3_1_1 to n102_a_dick_1952__1_6_1 , n102_a_dick_1952__1_7_1 but n102_a_dick_1952__1_8_1 <mdash> n102_a_dick_1952__1_9_1 <rdquo> n102_a_dick_1952__1 IP-MAT n102_a_dick_1952__1_1 PULQ n102_a_dick_1952__1->n102_a_dick_1952__1_1 n102_a_dick_1952__1_2 NP-SBJ n102_a_dick_1952__1->n102_a_dick_1952__1_2 n102_a_dick_1952__1_3 MD;_cat_Vi_ n102_a_dick_1952__1->n102_a_dick_1952__1_3 n102_a_dick_1952__1_4 IP-INF-CAT n102_a_dick_1952__1->n102_a_dick_1952__1_4 n102_a_dick_1952__1_5 PP-SCON n102_a_dick_1952__1->n102_a_dick_1952__1_5 n102_a_dick_1952__1_6 PUNC n102_a_dick_1952__1->n102_a_dick_1952__1_6 n102_a_dick_1952__1_7 CONJ;_cl_ n102_a_dick_1952__1->n102_a_dick_1952__1_7 n102_a_dick_1952__1_8 PUNC n102_a_dick_1952__1->n102_a_dick_1952__1_8 n102_a_dick_1952__1_9 PURQ n102_a_dick_1952__1->n102_a_dick_1952__1_9 n102_a_dick_1952__1_1->n102_a_dick_1952__1_1_1 n102_a_dick_1952__1_2_1 PRO n102_a_dick_1952__1_2->n102_a_dick_1952__1_2_1 n102_a_dick_1952__1_2_1->n102_a_dick_1952__1_2_1_1 n102_a_dick_1952__1_3->n102_a_dick_1952__1_3_1 n102_a_dick_1952__1_4_1 VB;_phr_Vp.n_ n102_a_dick_1952__1_4->n102_a_dick_1952__1_4_1 n102_a_dick_1952__1_4_2 RP n102_a_dick_1952__1_4->n102_a_dick_1952__1_4_2 n102_a_dick_1952__1_4_3 NP-OB1 n102_a_dick_1952__1_4->n102_a_dick_1952__1_4_3 n102_a_dick_1952__1_4_1->n102_a_dick_1952__1_4_1_1 n102_a_dick_1952__1_4_2->n102_a_dick_1952__1_4_2_1 n102_a_dick_1952__1_4_3_1 D n102_a_dick_1952__1_4_3->n102_a_dick_1952__1_4_3_1 n102_a_dick_1952__1_4_3_2 IP-PPL n102_a_dick_1952__1_4_3->n102_a_dick_1952__1_4_3_2 n102_a_dick_1952__1_4_3_3 NS n102_a_dick_1952__1_4_3->n102_a_dick_1952__1_4_3_3 n102_a_dick_1952__1_4_3_1->n102_a_dick_1952__1_4_3_1_1 n102_a_dick_1952__1_4_3_2_1 NP-LGS n102_a_dick_1952__1_4_3_2->n102_a_dick_1952__1_4_3_2_1 n102_a_dick_1952__1_4_3_2_2 VVN;_Tn_ n102_a_dick_1952__1_4_3_2->n102_a_dick_1952__1_4_3_2_2 n102_a_dick_1952__1_4_3_2_1->n102_a_dick_1952__1_4_3_2_1_1 n102_a_dick_1952__1_4_3_2_2->n102_a_dick_1952__1_4_3_2_2_1 n102_a_dick_1952__1_4_3_3->n102_a_dick_1952__1_4_3_3_1 n102_a_dick_1952__1_5_1 P-CONN n102_a_dick_1952__1_5->n102_a_dick_1952__1_5_1 n102_a_dick_1952__1_5_2 IP-ADV n102_a_dick_1952__1_5->n102_a_dick_1952__1_5_2 n102_a_dick_1952__1_5_1->n102_a_dick_1952__1_5_1_1 n102_a_dick_1952__1_5_2_1 NP-SBJ n102_a_dick_1952__1_5_2->n102_a_dick_1952__1_5_2_1 n102_a_dick_1952__1_5_2_2 VBP;_Tt_ n102_a_dick_1952__1_5_2->n102_a_dick_1952__1_5_2_2 n102_a_dick_1952__1_5_2_3 IP-INF-OB1 n102_a_dick_1952__1_5_2->n102_a_dick_1952__1_5_2_3 n102_a_dick_1952__1_5_2_1_1 PRO n102_a_dick_1952__1_5_2_1->n102_a_dick_1952__1_5_2_1_1 n102_a_dick_1952__1_5_2_1_1->n102_a_dick_1952__1_5_2_1_1_1 n102_a_dick_1952__1_5_2_2->n102_a_dick_1952__1_5_2_2_1 n102_a_dick_1952__1_5_2_3_1 TO n102_a_dick_1952__1_5_2_3->n102_a_dick_1952__1_5_2_3_1 n102_a_dick_1952__1_5_2_3_1->n102_a_dick_1952__1_5_2_3_1_1 n102_a_dick_1952__1_6->n102_a_dick_1952__1_6_1 n102_a_dick_1952__1_7->n102_a_dick_1952__1_7_1 n102_a_dick_1952__1_8->n102_a_dick_1952__1_8_1 n102_a_dick_1952__1_9->n102_a_dick_1952__1_9_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_phr_Vp.n_ break;{break[down]})
                      (RP down;{down})
                      (NP-OB1 (D the;{the})
                              (IP-PPL (NP-LGS *)
                                      (VVN;_Tn_ stored;{store}))
                              (NS fats;{fat})))
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                           (VBP;_Tt_ want;{want})
                           (IP-INF-OB1 (TO to;{to}))))
          (PUNC ,)
          (CONJ;_cl_ but;{but})
          (PUNC <mdash>)
          (PURQ <rdquo>))
  (ID 102_a_dick_1952))