Context                Previous, Next                Top


142_a_dick_1952
“We should keep every man working here.

%3 r_0142_0003__should should r_0142_0005__every_quant every [quant] r_0142_0003__should->r_0142_0005__every_quant [scope] r_0142_0004__keep keep r_0142_0005__every_quant->r_0142_0004__keep [scope] r_0142_0006__man man r_0142_0005__every_quant->r_0142_0006__man [restriction] r_0142_0002__We We r_0142_0004__keep->r_0142_0002__We [arg0] r_0142_0004__keep->r_0142_0006__man [arg1] r_0142_0007__working working r_0142_0004__keep->r_0142_0007__working [prd] r_0142_0008__here here r_0142_0007__working->r_0142_0008__here [nim] x_000_142_a_dick_1952_17 __ r_0142_0007__working->x_000_142_a_dick_1952_17 [arg0] 
arc(r_0142_0003__should, r_0142_0005__every_quant, scope).
arc(r_0142_0004__keep, r_0142_0002__We, arg0).
arc(r_0142_0004__keep, r_0142_0006__man, arg1).
arc(r_0142_0004__keep, r_0142_0007__working, prd).
arc(r_0142_0005__every_quant, r_0142_0004__keep, scope).
arc(r_0142_0005__every_quant, r_0142_0006__man, restriction).
arc(r_0142_0007__working, r_0142_0008__here, nim20).
arc(r_0142_0007__working, x_000_142_a_dick_1952_17, arg0).


%3 r_0142_0003__should should r_0142_0005__every_quant every [quant] r_0142_0003__should->r_0142_0005__every_quant [keep_scope] r_0142_0006__man man r_0142_0005__every_quant->r_0142_0006__man [restriction] r_0142_0004__keep keep r_0142_0005__every_quant->r_0142_0004__keep [scope] r_0142_0007__working working x_000_142_a_dick_1952_17 __ r_0142_0007__working->x_000_142_a_dick_1952_17 [arg0] r_0142_0008__here here r_0142_0007__working->r_0142_0008__here [nim] r_0142_0004__keep->r_0142_0007__working [prd] r_0142_0004__keep->r_0142_0006__man [arg1] r_0142_0002__We We r_0142_0004__keep->r_0142_0002__We [arg0] 
fof(formula,axiom,
    ~ ! [R_142_6_MAN] :
        ( man(R_142_6_MAN)
       => ? [R_142_4_KEEP,R_142_2_WE,R_142_7_WORKING,X_142_A_DICK_1952_17,R_142_8_HERE] :
            ( we(R_142_2_WE)
            & here(R_142_8_HERE)
            & keep(R_142_4_KEEP,R_142_2_WE,R_142_6_MAN,R_142_7_WORKING)
            & working(R_142_7_WORKING,X_142_A_DICK_1952_17)
            & nim20(R_142_7_WORKING,R_142_8_HERE) ) ) ).


n142_a_dick_1952 n142_a_dick_1952__1_1_1 <ldquo> n142_a_dick_1952__1_2_1_1 We n142_a_dick_1952__1_3_1 should n142_a_dick_1952__1_4_1_1 keep n142_a_dick_1952__1_4_2_1_1 every n142_a_dick_1952__1_4_2_2_1 man n142_a_dick_1952__1_4_3_1_1 working n142_a_dick_1952__1_4_3_2_1_1 here n142_a_dick_1952__1_5_1 . n142_a_dick_1952__1 IP-MAT n142_a_dick_1952__1_1 PULQ n142_a_dick_1952__1->n142_a_dick_1952__1_1 n142_a_dick_1952__1_2 NP-SBJ n142_a_dick_1952__1->n142_a_dick_1952__1_2 n142_a_dick_1952__1_3 MD;_cat_Vi_ n142_a_dick_1952__1->n142_a_dick_1952__1_3 n142_a_dick_1952__1_4 IP-INF-CAT n142_a_dick_1952__1->n142_a_dick_1952__1_4 n142_a_dick_1952__1_5 PUNC n142_a_dick_1952__1->n142_a_dick_1952__1_5 n142_a_dick_1952__1_1->n142_a_dick_1952__1_1_1 n142_a_dick_1952__1_2_1 PRO n142_a_dick_1952__1_2->n142_a_dick_1952__1_2_1 n142_a_dick_1952__1_2_1->n142_a_dick_1952__1_2_1_1 n142_a_dick_1952__1_3->n142_a_dick_1952__1_3_1 n142_a_dick_1952__1_4_1 VB;_Cn.g_ n142_a_dick_1952__1_4->n142_a_dick_1952__1_4_1 n142_a_dick_1952__1_4_2 NP-OB1 n142_a_dick_1952__1_4->n142_a_dick_1952__1_4_2 n142_a_dick_1952__1_4_3 IP-PPL-PRD n142_a_dick_1952__1_4->n142_a_dick_1952__1_4_3 n142_a_dick_1952__1_4_1->n142_a_dick_1952__1_4_1_1 n142_a_dick_1952__1_4_2_1 Q n142_a_dick_1952__1_4_2->n142_a_dick_1952__1_4_2_1 n142_a_dick_1952__1_4_2_2 N n142_a_dick_1952__1_4_2->n142_a_dick_1952__1_4_2_2 n142_a_dick_1952__1_4_2_1->n142_a_dick_1952__1_4_2_1_1 n142_a_dick_1952__1_4_2_2->n142_a_dick_1952__1_4_2_2_1 n142_a_dick_1952__1_4_3_1 VAG;_I_ n142_a_dick_1952__1_4_3->n142_a_dick_1952__1_4_3_1 n142_a_dick_1952__1_4_3_2 ADVP-NIM n142_a_dick_1952__1_4_3->n142_a_dick_1952__1_4_3_2 n142_a_dick_1952__1_4_3_1->n142_a_dick_1952__1_4_3_1_1 n142_a_dick_1952__1_4_3_2_1 ADV n142_a_dick_1952__1_4_3_2->n142_a_dick_1952__1_4_3_2_1 n142_a_dick_1952__1_4_3_2_1->n142_a_dick_1952__1_4_3_2_1_1 n142_a_dick_1952__1_5->n142_a_dick_1952__1_5_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (VB;_Cn.g_ keep;{keep})
                      (NP-OB1 (Q every;{every})
                              (N man;{man}))
                      (IP-PPL-PRD (VAG;_I_ working;{work})
                                  (ADVP-NIM (ADV here;{here}))))
          (PUNC .))
  (ID 142_a_dick_1952))