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 r_0579_0001__With With r_0579_0002__all_quant all [quant] r_0579_0001__With->r_0579_0002__all_quant [conj1] r_0579_0008__took took r_0579_0001__With->r_0579_0008__took [conj2] 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] 
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_4 With n579_a_dick_1952_8 all n579_a_dick_1952_11 of n579_a_dick_1952_14 them n579_a_dick_1952_16 working n579_a_dick_1952_19 together n579_a_dick_1952_22 it n579_a_dick_1952_24 took n579_a_dick_1952_29 just n579_a_dick_1952_32 five n579_a_dick_1952_34 more n579_a_dick_1952_36 days n579_a_dick_1952_39 to n579_a_dick_1952_41 make n579_a_dick_1952_44 it n579_a_dick_1952_47 spaceworthy n579_a_dick_1952_49 . n579_a_dick_1952_1 IP-MAT n579_a_dick_1952_2 PP-SCON n579_a_dick_1952_1->n579_a_dick_1952_2 n579_a_dick_1952_20 NP-SBJ n579_a_dick_1952_1->n579_a_dick_1952_20 n579_a_dick_1952_23 VBD;_Tn_ n579_a_dick_1952_1->n579_a_dick_1952_23 n579_a_dick_1952_25 NP-OB1 n579_a_dick_1952_1->n579_a_dick_1952_25 n579_a_dick_1952_37 IP-INF-NSBJ n579_a_dick_1952_1->n579_a_dick_1952_37 n579_a_dick_1952_48 PUNC n579_a_dick_1952_1->n579_a_dick_1952_48 n579_a_dick_1952_3 P-CONN n579_a_dick_1952_2->n579_a_dick_1952_3 n579_a_dick_1952_5 IP-PPL3 n579_a_dick_1952_2->n579_a_dick_1952_5 n579_a_dick_1952_3->n579_a_dick_1952_4 n579_a_dick_1952_6 NP-SBJ n579_a_dick_1952_5->n579_a_dick_1952_6 n579_a_dick_1952_15 VAG;_Ip_ n579_a_dick_1952_5->n579_a_dick_1952_15 n579_a_dick_1952_17 ADVP-CLR n579_a_dick_1952_5->n579_a_dick_1952_17 n579_a_dick_1952_7 Q;_nphd_ n579_a_dick_1952_6->n579_a_dick_1952_7 n579_a_dick_1952_9 PP n579_a_dick_1952_6->n579_a_dick_1952_9 n579_a_dick_1952_7->n579_a_dick_1952_8 n579_a_dick_1952_10 P-ROLE n579_a_dick_1952_9->n579_a_dick_1952_10 n579_a_dick_1952_12 NP n579_a_dick_1952_9->n579_a_dick_1952_12 n579_a_dick_1952_10->n579_a_dick_1952_11 n579_a_dick_1952_13 PRO n579_a_dick_1952_12->n579_a_dick_1952_13 n579_a_dick_1952_13->n579_a_dick_1952_14 n579_a_dick_1952_15->n579_a_dick_1952_16 n579_a_dick_1952_18 ADV n579_a_dick_1952_17->n579_a_dick_1952_18 n579_a_dick_1952_18->n579_a_dick_1952_19 n579_a_dick_1952_21 PRO;_provisional_ n579_a_dick_1952_20->n579_a_dick_1952_21 n579_a_dick_1952_21->n579_a_dick_1952_22 n579_a_dick_1952_23->n579_a_dick_1952_24 n579_a_dick_1952_26 ADJP n579_a_dick_1952_25->n579_a_dick_1952_26 n579_a_dick_1952_35 NS n579_a_dick_1952_25->n579_a_dick_1952_35 n579_a_dick_1952_27 ADVP n579_a_dick_1952_26->n579_a_dick_1952_27 n579_a_dick_1952_30 NP n579_a_dick_1952_26->n579_a_dick_1952_30 n579_a_dick_1952_33 ADJR n579_a_dick_1952_26->n579_a_dick_1952_33 n579_a_dick_1952_28 ADV n579_a_dick_1952_27->n579_a_dick_1952_28 n579_a_dick_1952_28->n579_a_dick_1952_29 n579_a_dick_1952_31 NUM n579_a_dick_1952_30->n579_a_dick_1952_31 n579_a_dick_1952_31->n579_a_dick_1952_32 n579_a_dick_1952_33->n579_a_dick_1952_34 n579_a_dick_1952_35->n579_a_dick_1952_36 n579_a_dick_1952_38 TO n579_a_dick_1952_37->n579_a_dick_1952_38 n579_a_dick_1952_40 VB;_Cn.a_ n579_a_dick_1952_37->n579_a_dick_1952_40 n579_a_dick_1952_42 NP-OB1 n579_a_dick_1952_37->n579_a_dick_1952_42 n579_a_dick_1952_45 ADJP-PRD n579_a_dick_1952_37->n579_a_dick_1952_45 n579_a_dick_1952_38->n579_a_dick_1952_39 n579_a_dick_1952_40->n579_a_dick_1952_41 n579_a_dick_1952_43 PRO n579_a_dick_1952_42->n579_a_dick_1952_43 n579_a_dick_1952_43->n579_a_dick_1952_44 n579_a_dick_1952_46 ADJ n579_a_dick_1952_45->n579_a_dick_1952_46 n579_a_dick_1952_46->n579_a_dick_1952_47 n579_a_dick_1952_48->n579_a_dick_1952_49 
( (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))