Context                Previous, Next                Top


579_a_dick_1952
With all of them working together it took just five more days to make it spaceworthy.

%3 r_0579_0001__With With r_0579_0002__all_quant all [quant] r_0579_0001__With->r_0579_0002__all_quant [restriction] r_0579_0008__took took r_0579_0001__With->r_0579_0008__took [scope] r_0579_0005__working working r_0579_0002__all_quant->r_0579_0005__working [scope] z_000_579_a_dick_1952_6 r_0579_0002__all_quant->z_000_579_a_dick_1952_6 [restriction] r_0579_0012__days days r_0579_0008__took->r_0579_0012__days [arg1] r_0579_0013__to_r_0579_0014__make to make r_0579_0008__took->r_0579_0013__to_r_0579_0014__make [arg0] r_0579_0005__working->z_000_579_a_dick_1952_6 [arg0] r_0579_0006__together together r_0579_0005__working->r_0579_0006__together [clr] r_0579_0004__them them z_000_579_a_dick_1952_6->r_0579_0004__them of r_0579_0011__more more r_0579_0012__days->r_0579_0011__more [attrib] r_0579_0015__it it r_0579_0013__to_r_0579_0014__make->r_0579_0015__it [arg1] r_0579_0016__spaceworthy spaceworthy r_0579_0013__to_r_0579_0014__make->r_0579_0016__spaceworthy [prd] z_000_579_a_dick_1952_20 r_0579_0013__to_r_0579_0014__make->z_000_579_a_dick_1952_20 [arg0] r_0579_0009__just just r_0579_0011__more->r_0579_0009__just [qual] r_0579_0010__five five r_0579_0011__more->r_0579_0010__five [nim] 
arc(r_0579_0001__With, r_0579_0002__all_quant, restriction).
arc(r_0579_0001__With, r_0579_0008__took, scope).
arc(r_0579_0002__all_quant, r_0579_0005__working, scope).
arc(r_0579_0002__all_quant, z_000_579_a_dick_1952_6, restriction).
arc(r_0579_0005__working, r_0579_0006__together, clr17).
arc(r_0579_0005__working, z_000_579_a_dick_1952_6, arg0).
arc(r_0579_0008__took, r_0579_0012__days, arg1).
arc(r_0579_0008__took, r_0579_0013__to_r_0579_0014__make, arg0).
arc(r_0579_0011__more, r_0579_0009__just, qual27).
arc(r_0579_0011__more, r_0579_0010__five, nim30).
arc(r_0579_0012__days, r_0579_0011__more, attrib26).
arc(r_0579_0013__to_r_0579_0014__make, r_0579_0015__it, arg1).
arc(r_0579_0013__to_r_0579_0014__make, r_0579_0016__spaceworthy, prd).
arc(r_0579_0013__to_r_0579_0014__make, z_000_579_a_dick_1952_20, arg0).
arc(z_000_579_a_dick_1952_6, r_0579_0004__them, r_0579_0003__of).


%3 z_000_579_a_dick_1952_6 r_0579_0004__them them z_000_579_a_dick_1952_6->r_0579_0004__them of r_0579_0013__to_r_0579_0014__make to make z_000_579_a_dick_1952_20 r_0579_0013__to_r_0579_0014__make->z_000_579_a_dick_1952_20 [arg0] r_0579_0016__spaceworthy spaceworthy r_0579_0013__to_r_0579_0014__make->r_0579_0016__spaceworthy [prd] r_0579_0015__it it r_0579_0013__to_r_0579_0014__make->r_0579_0015__it [arg1] r_0579_0012__days days r_0579_0011__more more r_0579_0012__days->r_0579_0011__more [attrib] r_0579_0010__five five r_0579_0011__more->r_0579_0010__five [nim] r_0579_0009__just just r_0579_0011__more->r_0579_0009__just [qual] r_0579_0008__took took r_0579_0008__took->r_0579_0013__to_r_0579_0014__make [arg0] r_0579_0008__took->r_0579_0012__days [arg1] r_0579_0005__working working r_0579_0005__working->z_000_579_a_dick_1952_6 [arg0] r_0579_0006__together together r_0579_0005__working->r_0579_0006__together [clr] r_0579_0002__all_quant all [quant] r_0579_0002__all_quant->z_000_579_a_dick_1952_6 [restriction] r_0579_0002__all_quant->r_0579_0005__working [scope] r_0579_0001__With With r_0579_0001__With->r_0579_0008__took [conj2] r_0579_0001__With->r_0579_0002__all_quant [conj1] 
fof(formula,axiom,
    ? [R_579_1_WITH,R_579_8_TOOK,R_579_13_TO_MAKE,Z_579_A_DICK_1952_20,R_579_15_IT,R_579_16_SPACEWORTHY,R_579_12_DAYS,R_579_11_MORE,R_579_10_FIVE,R_579_9_JUST] :
      ( it(R_579_15_IT)
      & spaceworthy(R_579_16_SPACEWORTHY)
      & five(R_579_10_FIVE)
      & just(R_579_9_JUST)
      & ! [Z_579_A_DICK_1952_6,R_579_4_THEM] :
          ( ( them(R_579_4_THEM)
            & z_579_a_dick_1952_6(Z_579_A_DICK_1952_6)
            & of(Z_579_A_DICK_1952_6,R_579_4_THEM) )
         => ? [R_579_5_WORKING,R_579_6_TOGETHER] :
              ( together(R_579_6_TOGETHER)
              & working(R_579_5_WORKING,Z_579_A_DICK_1952_6)
              & clr17(R_579_5_WORKING,R_579_6_TOGETHER) ) )
      & conj1(CONJ1)
      & with(R_579_1_WITH)
      & conj2(R_579_1_WITH,R_579_8_TOOK)
      & took(R_579_8_TOOK,R_579_13_TO_MAKE,R_579_12_DAYS)
      & to_make(R_579_13_TO_MAKE,Z_579_A_DICK_1952_20,R_579_15_IT,R_579_16_SPACEWORTHY)
      & days(R_579_12_DAYS)
      & attrib26(R_579_12_DAYS,R_579_11_MORE)
      & more(R_579_11_MORE)
      & nim30(R_579_11_MORE,R_579_10_FIVE)
      & qual27(R_579_11_MORE,R_579_9_JUST) ) ).


n579_a_dick_1952 n579_a_dick_1952__1_1_1_1 With n579_a_dick_1952__1_1_2_1_1_1 all n579_a_dick_1952__1_1_2_1_2_1_1 of n579_a_dick_1952__1_1_2_1_2_2_1_1 them n579_a_dick_1952__1_1_2_2_1 working n579_a_dick_1952__1_1_2_3_1_1 together n579_a_dick_1952__1_2_1_1 it n579_a_dick_1952__1_3_1 took n579_a_dick_1952__1_4_1_1_1_1 just n579_a_dick_1952__1_4_1_2_1_1 five n579_a_dick_1952__1_4_1_3_1 more n579_a_dick_1952__1_4_2_1 days n579_a_dick_1952__1_5_1_1 to n579_a_dick_1952__1_5_2_1 make n579_a_dick_1952__1_5_3_1_1 it n579_a_dick_1952__1_5_4_1_1 spaceworthy n579_a_dick_1952__1_6_1 . n579_a_dick_1952__1 IP-MAT n579_a_dick_1952__1_1 PP-SCON n579_a_dick_1952__1->n579_a_dick_1952__1_1 n579_a_dick_1952__1_2 NP-SBJ n579_a_dick_1952__1->n579_a_dick_1952__1_2 n579_a_dick_1952__1_3 VBD;_Tn_ n579_a_dick_1952__1->n579_a_dick_1952__1_3 n579_a_dick_1952__1_4 NP-OB1 n579_a_dick_1952__1->n579_a_dick_1952__1_4 n579_a_dick_1952__1_5 IP-INF-NSBJ n579_a_dick_1952__1->n579_a_dick_1952__1_5 n579_a_dick_1952__1_6 PUNC n579_a_dick_1952__1->n579_a_dick_1952__1_6 n579_a_dick_1952__1_1_1 P-CONN n579_a_dick_1952__1_1->n579_a_dick_1952__1_1_1 n579_a_dick_1952__1_1_2 IP-PPL3 n579_a_dick_1952__1_1->n579_a_dick_1952__1_1_2 n579_a_dick_1952__1_1_1->n579_a_dick_1952__1_1_1_1 n579_a_dick_1952__1_1_2_1 NP-SBJ n579_a_dick_1952__1_1_2->n579_a_dick_1952__1_1_2_1 n579_a_dick_1952__1_1_2_2 VAG;_Ip_ n579_a_dick_1952__1_1_2->n579_a_dick_1952__1_1_2_2 n579_a_dick_1952__1_1_2_3 ADVP-CLR n579_a_dick_1952__1_1_2->n579_a_dick_1952__1_1_2_3 n579_a_dick_1952__1_1_2_1_1 Q;_nphd_ n579_a_dick_1952__1_1_2_1->n579_a_dick_1952__1_1_2_1_1 n579_a_dick_1952__1_1_2_1_2 PP n579_a_dick_1952__1_1_2_1->n579_a_dick_1952__1_1_2_1_2 n579_a_dick_1952__1_1_2_1_1->n579_a_dick_1952__1_1_2_1_1_1 n579_a_dick_1952__1_1_2_1_2_1 P-ROLE n579_a_dick_1952__1_1_2_1_2->n579_a_dick_1952__1_1_2_1_2_1 n579_a_dick_1952__1_1_2_1_2_2 NP n579_a_dick_1952__1_1_2_1_2->n579_a_dick_1952__1_1_2_1_2_2 n579_a_dick_1952__1_1_2_1_2_1->n579_a_dick_1952__1_1_2_1_2_1_1 n579_a_dick_1952__1_1_2_1_2_2_1 PRO n579_a_dick_1952__1_1_2_1_2_2->n579_a_dick_1952__1_1_2_1_2_2_1 n579_a_dick_1952__1_1_2_1_2_2_1->n579_a_dick_1952__1_1_2_1_2_2_1_1 n579_a_dick_1952__1_1_2_2->n579_a_dick_1952__1_1_2_2_1 n579_a_dick_1952__1_1_2_3_1 ADV n579_a_dick_1952__1_1_2_3->n579_a_dick_1952__1_1_2_3_1 n579_a_dick_1952__1_1_2_3_1->n579_a_dick_1952__1_1_2_3_1_1 n579_a_dick_1952__1_2_1 PRO;_provisional_ n579_a_dick_1952__1_2->n579_a_dick_1952__1_2_1 n579_a_dick_1952__1_2_1->n579_a_dick_1952__1_2_1_1 n579_a_dick_1952__1_3->n579_a_dick_1952__1_3_1 n579_a_dick_1952__1_4_1 ADJP n579_a_dick_1952__1_4->n579_a_dick_1952__1_4_1 n579_a_dick_1952__1_4_2 NS n579_a_dick_1952__1_4->n579_a_dick_1952__1_4_2 n579_a_dick_1952__1_4_1_1 ADVP n579_a_dick_1952__1_4_1->n579_a_dick_1952__1_4_1_1 n579_a_dick_1952__1_4_1_2 NP n579_a_dick_1952__1_4_1->n579_a_dick_1952__1_4_1_2 n579_a_dick_1952__1_4_1_3 ADJR n579_a_dick_1952__1_4_1->n579_a_dick_1952__1_4_1_3 n579_a_dick_1952__1_4_1_1_1 ADV n579_a_dick_1952__1_4_1_1->n579_a_dick_1952__1_4_1_1_1 n579_a_dick_1952__1_4_1_1_1->n579_a_dick_1952__1_4_1_1_1_1 n579_a_dick_1952__1_4_1_2_1 NUM n579_a_dick_1952__1_4_1_2->n579_a_dick_1952__1_4_1_2_1 n579_a_dick_1952__1_4_1_2_1->n579_a_dick_1952__1_4_1_2_1_1 n579_a_dick_1952__1_4_1_3->n579_a_dick_1952__1_4_1_3_1 n579_a_dick_1952__1_4_2->n579_a_dick_1952__1_4_2_1 n579_a_dick_1952__1_5_1 TO n579_a_dick_1952__1_5->n579_a_dick_1952__1_5_1 n579_a_dick_1952__1_5_2 VB;_Cn.a_ n579_a_dick_1952__1_5->n579_a_dick_1952__1_5_2 n579_a_dick_1952__1_5_3 NP-OB1 n579_a_dick_1952__1_5->n579_a_dick_1952__1_5_3 n579_a_dick_1952__1_5_4 ADJP-PRD n579_a_dick_1952__1_5->n579_a_dick_1952__1_5_4 n579_a_dick_1952__1_5_1->n579_a_dick_1952__1_5_1_1 n579_a_dick_1952__1_5_2->n579_a_dick_1952__1_5_2_1 n579_a_dick_1952__1_5_3_1 PRO n579_a_dick_1952__1_5_3->n579_a_dick_1952__1_5_3_1 n579_a_dick_1952__1_5_3_1->n579_a_dick_1952__1_5_3_1_1 n579_a_dick_1952__1_5_4_1 ADJ n579_a_dick_1952__1_5_4->n579_a_dick_1952__1_5_4_1 n579_a_dick_1952__1_5_4_1->n579_a_dick_1952__1_5_4_1_1 n579_a_dick_1952__1_6->n579_a_dick_1952__1_6_1 
( (IP-MAT (PP-SCON (P-CONN With;{with})
                   (IP-PPL3 (NP-SBJ (Q;_nphd_ all;{all})
                                    (PP (P-ROLE of;{of})
                                        (NP;{TRESPASSERS} (PRO them;{they}))))
                            (VAG;_Ip_ working;{work[together]})
                            (ADVP-CLR (ADV together;{together}))))
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (VBD;_Tn_ took;{take})
          (NP-OB1 (ADJP (ADVP (ADV just;{just}))
                        (NP (NUM five;{five}))
                        (ADJR more;{more}))
                  (NS days;{day}))
          (IP-INF-NSBJ (TO to;{to})
                       (VB;_Cn.a_ make;{make})
                       (NP-OB1;{SHIP} (PRO it;{it}))
                       (ADJP-PRD (ADJ spaceworthy;{spaceworthy})))
          (PUNC .))
  (ID 579_a_dick_1952))