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

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_000_579_A_DICK_1952_20,R_0579_0013__TO_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_000_579_a_dick_1952_20(Z_000_579_A_DICK_1952_20)
      & 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_0013__TO_R_0579_0014__MAKE)
      & r_0579_0013__to_r_0579_0014__make(R_0579_0013__TO_R_0579_0014__MAKE)
      & has_arg0(R_0579_0013__TO_R_0579_0014__MAKE,Z_000_579_A_DICK_1952_20)
      & has_prd(R_0579_0013__TO_R_0579_0014__MAKE,R_0579_0016__SPACEWORTHY)
      & has_arg1(R_0579_0013__TO_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_attrib26(R_0579_0012__DAYS,R_0579_0011__MORE)
      & r_0579_0011__more(R_0579_0011__MORE)
      & has_nim30(R_0579_0011__MORE,R_0579_0010__FIVE)
      & has_qual27(R_0579_0011__MORE,R_0579_0009__JUST)
      & ! [Z_000_579_A_DICK_1952_6,R_0579_0004__THEM] :
          ( ( r_0579_0004__them(R_0579_0004__THEM)
            & z_000_579_a_dick_1952_6(Z_000_579_A_DICK_1952_6)
            & has_r_0579_0003__of(Z_000_579_A_DICK_1952_6,R_0579_0004__THEM) )
         => ? [R_0579_0006__TOGETHER,R_0579_0005__WORKING] :
              ( r_0579_0006__together(R_0579_0006__TOGETHER)
              & r_0579_0005__working(R_0579_0005__WORKING)
              & has_arg0(R_0579_0005__WORKING,Z_000_579_A_DICK_1952_6)
              & has_clr17(R_0579_0005__WORKING,R_0579_0006__TOGETHER) ) ) ) ).

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