TSPC 579_a_dick

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

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

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_r_0579_0006__together,scope).
arc(r_0579_0002__all__quant,z_0579_5004,restriction).
arc(r_0579_0005__working_r_0579_0006__together,z_0579_5004,arg0).
arc(r_0579_0008__took,r_0579_0012__days,arg1).
arc(r_0579_0008__took,r_0579_0014__make,arg0).
arc(r_0579_0011__more,r_0579_0009__just,qual).
arc(r_0579_0011__more,r_0579_0010__five,nim).
arc(r_0579_0012__days,r_0579_0011__more,attrib).
arc(r_0579_0014__make,r_0579_0015__it,arg1).
arc(r_0579_0014__make,r_0579_0016__spaceworthy,prd).
arc(r_0579_0014__make,z_0579_5006,arg0).
arc(z_0579_5004,r_0579_0004__them,r_0579_0003__of).

fof(formula,axiom,
    ? [R_0579_0009__JUST,R_0579_0010__FIVE,R_0579_0011__MORE,R_0579_0012__DAYS,R_0579_0015__IT,R_0579_0016__SPACEWORTHY,Z_0579_5006,R_0579_0014__MAKE,R_0579_0008__TOOK,R_0579_0001__WITH] :
      ( r_0579_0009__just(R_0579_0009__JUST)
      & r_0579_0010__five(R_0579_0010__FIVE)
      & r_0579_0015__it(R_0579_0015__IT)
      & r_0579_0016__spaceworthy(R_0579_0016__SPACEWORTHY)
      & z_0579_5006(Z_0579_5006)
      & r_0579_0001__With(R_0579_0001__WITH)
      & has_conj2(R_0579_0001__WITH,R_0579_0008__TOOK)
      & r_0579_0008__took(R_0579_0008__TOOK)
      & has_arg0(R_0579_0008__TOOK,R_0579_0014__MAKE)
      & r_0579_0014__make(R_0579_0014__MAKE)
      & has_arg0(R_0579_0014__MAKE,Z_0579_5006)
      & has_prd(R_0579_0014__MAKE,R_0579_0016__SPACEWORTHY)
      & has_arg1(R_0579_0014__MAKE,R_0579_0015__IT)
      & has_arg1(R_0579_0008__TOOK,R_0579_0012__DAYS)
      & r_0579_0012__days(R_0579_0012__DAYS)
      & has_attrib(R_0579_0012__DAYS,R_0579_0011__MORE)
      & r_0579_0011__more(R_0579_0011__MORE)
      & has_nim(R_0579_0011__MORE,R_0579_0010__FIVE)
      & has_qual(R_0579_0011__MORE,R_0579_0009__JUST)
      & ! [Z_0579_5004,R_0579_0004__THEM] :
          ( ( r_0579_0004__them(R_0579_0004__THEM)
            & z_0579_5004(Z_0579_5004)
            & has_r_0579_0003__of(Z_0579_5004,R_0579_0004__THEM) )
         => ? [R_0579_0005__WORKING_R_0579_0006__TOGETHER] :
              ( r_0579_0005__working_r_0579_0006__together(R_0579_0005__WORKING_R_0579_0006__TOGETHER)
              & has_arg0(R_0579_0005__WORKING_R_0579_0006__TOGETHER,Z_0579_5004) ) ) ) ).