28_a_paulfellows
This was the development board that we had, we first had one and gradually got to the point of having one each to do the development work on.

n28_a_paulfellows n28_a_paulfellows__1_1_1_1 This n28_a_paulfellows__1_2_1 was n28_a_paulfellows__1_3_1_1 the n28_a_paulfellows__1_3_2_1 development n28_a_paulfellows__1_3_3_1 board n28_a_paulfellows__1_3_4_1_1 that n28_a_paulfellows__1_3_4_2_1 *T* n28_a_paulfellows__1_3_4_3_1_1 we n28_a_paulfellows__1_3_4_4_1 had n28_a_paulfellows__1_4_1 , n28_a_paulfellows__1_5_1_1_1_1 we n28_a_paulfellows__1_5_1_2_1_1_1_1 first n28_a_paulfellows__1_5_1_2_1_2_1 had n28_a_paulfellows__1_5_1_2_1_3_1_1 one n28_a_paulfellows__1_5_1_2_2_1_1 and n28_a_paulfellows__1_5_1_2_2_2_1_1_1 gradually n28_a_paulfellows__1_5_1_2_2_2_2_1 got n28_a_paulfellows__1_5_1_2_2_2_3_1_1 to n28_a_paulfellows__1_5_1_2_2_2_3_2_1_1 the n28_a_paulfellows__1_5_1_2_2_2_3_2_2_1 point n28_a_paulfellows__1_5_1_2_2_2_3_2_3_1_1 of n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_1_1 having n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_1_1 one n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2_1_1_1 each n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_1_1 to n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_2_1 do n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_1_1 the n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_2_1 development n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_3_1 work n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_1_1 on n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_2_1 *T* n28_a_paulfellows__1_6_1 . n28_a_paulfellows__1 IP-MAT n28_a_paulfellows__1_1 NP-SBJ n28_a_paulfellows__1->n28_a_paulfellows__1_1 n28_a_paulfellows__1_2 BED;_Ln_ n28_a_paulfellows__1->n28_a_paulfellows__1_2 n28_a_paulfellows__1_3 NP-PRD n28_a_paulfellows__1->n28_a_paulfellows__1_3 n28_a_paulfellows__1_4 PUNC n28_a_paulfellows__1->n28_a_paulfellows__1_4 n28_a_paulfellows__1_5 PRN n28_a_paulfellows__1->n28_a_paulfellows__1_5 n28_a_paulfellows__1_6 PUNC n28_a_paulfellows__1->n28_a_paulfellows__1_6 n28_a_paulfellows__1_1_1 D;_nphd_ n28_a_paulfellows__1_1->n28_a_paulfellows__1_1_1 n28_a_paulfellows__1_1_1->n28_a_paulfellows__1_1_1_1 n28_a_paulfellows__1_2->n28_a_paulfellows__1_2_1 n28_a_paulfellows__1_3_1 D n28_a_paulfellows__1_3->n28_a_paulfellows__1_3_1 n28_a_paulfellows__1_3_2 N n28_a_paulfellows__1_3->n28_a_paulfellows__1_3_2 n28_a_paulfellows__1_3_3 NPR n28_a_paulfellows__1_3->n28_a_paulfellows__1_3_3 n28_a_paulfellows__1_3_4 IP-REL n28_a_paulfellows__1_3->n28_a_paulfellows__1_3_4 n28_a_paulfellows__1_3_1->n28_a_paulfellows__1_3_1_1 n28_a_paulfellows__1_3_2->n28_a_paulfellows__1_3_2_1 n28_a_paulfellows__1_3_3->n28_a_paulfellows__1_3_3_1 n28_a_paulfellows__1_3_4_1 C n28_a_paulfellows__1_3_4->n28_a_paulfellows__1_3_4_1 n28_a_paulfellows__1_3_4_2 NP-OB1 n28_a_paulfellows__1_3_4->n28_a_paulfellows__1_3_4_2 n28_a_paulfellows__1_3_4_3 NP-SBJ n28_a_paulfellows__1_3_4->n28_a_paulfellows__1_3_4_3 n28_a_paulfellows__1_3_4_4 HVD;_Tn_ n28_a_paulfellows__1_3_4->n28_a_paulfellows__1_3_4_4 n28_a_paulfellows__1_3_4_1->n28_a_paulfellows__1_3_4_1_1 n28_a_paulfellows__1_3_4_2->n28_a_paulfellows__1_3_4_2_1 n28_a_paulfellows__1_3_4_3_1 PRO n28_a_paulfellows__1_3_4_3->n28_a_paulfellows__1_3_4_3_1 n28_a_paulfellows__1_3_4_3_1->n28_a_paulfellows__1_3_4_3_1_1 n28_a_paulfellows__1_3_4_4->n28_a_paulfellows__1_3_4_4_1 n28_a_paulfellows__1_4->n28_a_paulfellows__1_4_1 n28_a_paulfellows__1_5_1 IP-MAT n28_a_paulfellows__1_5->n28_a_paulfellows__1_5_1 n28_a_paulfellows__1_5_1_1 NP-SBJ n28_a_paulfellows__1_5_1->n28_a_paulfellows__1_5_1_1 n28_a_paulfellows__1_5_1_2 ILYR n28_a_paulfellows__1_5_1->n28_a_paulfellows__1_5_1_2 n28_a_paulfellows__1_5_1_1_1 PRO n28_a_paulfellows__1_5_1_1->n28_a_paulfellows__1_5_1_1_1 n28_a_paulfellows__1_5_1_1_1->n28_a_paulfellows__1_5_1_1_1_1 n28_a_paulfellows__1_5_1_2_1 ILYR n28_a_paulfellows__1_5_1_2->n28_a_paulfellows__1_5_1_2_1 n28_a_paulfellows__1_5_1_2_2 CONJP n28_a_paulfellows__1_5_1_2->n28_a_paulfellows__1_5_1_2_2 n28_a_paulfellows__1_5_1_2_1_1 ADVP-NIM n28_a_paulfellows__1_5_1_2_1->n28_a_paulfellows__1_5_1_2_1_1 n28_a_paulfellows__1_5_1_2_1_2 HVD;_Tn_ n28_a_paulfellows__1_5_1_2_1->n28_a_paulfellows__1_5_1_2_1_2 n28_a_paulfellows__1_5_1_2_1_3 NP-OB1 n28_a_paulfellows__1_5_1_2_1->n28_a_paulfellows__1_5_1_2_1_3 n28_a_paulfellows__1_5_1_2_1_1_1 ADV n28_a_paulfellows__1_5_1_2_1_1->n28_a_paulfellows__1_5_1_2_1_1_1 n28_a_paulfellows__1_5_1_2_1_1_1->n28_a_paulfellows__1_5_1_2_1_1_1_1 n28_a_paulfellows__1_5_1_2_1_2->n28_a_paulfellows__1_5_1_2_1_2_1 n28_a_paulfellows__1_5_1_2_1_3_1 NUM n28_a_paulfellows__1_5_1_2_1_3->n28_a_paulfellows__1_5_1_2_1_3_1 n28_a_paulfellows__1_5_1_2_1_3_1->n28_a_paulfellows__1_5_1_2_1_3_1_1 n28_a_paulfellows__1_5_1_2_2_1 CONJ n28_a_paulfellows__1_5_1_2_2->n28_a_paulfellows__1_5_1_2_2_1 n28_a_paulfellows__1_5_1_2_2_2 ILYR n28_a_paulfellows__1_5_1_2_2->n28_a_paulfellows__1_5_1_2_2_2 n28_a_paulfellows__1_5_1_2_2_1->n28_a_paulfellows__1_5_1_2_2_1_1 n28_a_paulfellows__1_5_1_2_2_2_1 ADVP-NIM n28_a_paulfellows__1_5_1_2_2_2->n28_a_paulfellows__1_5_1_2_2_2_1 n28_a_paulfellows__1_5_1_2_2_2_2 VBD;__ n28_a_paulfellows__1_5_1_2_2_2->n28_a_paulfellows__1_5_1_2_2_2_2 n28_a_paulfellows__1_5_1_2_2_2_3 PP-NIM n28_a_paulfellows__1_5_1_2_2_2->n28_a_paulfellows__1_5_1_2_2_2_3 n28_a_paulfellows__1_5_1_2_2_2_1_1 ADV n28_a_paulfellows__1_5_1_2_2_2_1->n28_a_paulfellows__1_5_1_2_2_2_1_1 n28_a_paulfellows__1_5_1_2_2_2_1_1->n28_a_paulfellows__1_5_1_2_2_2_1_1_1 n28_a_paulfellows__1_5_1_2_2_2_2->n28_a_paulfellows__1_5_1_2_2_2_2_1 n28_a_paulfellows__1_5_1_2_2_2_3_1 P-ROLE n28_a_paulfellows__1_5_1_2_2_2_3->n28_a_paulfellows__1_5_1_2_2_2_3_1 n28_a_paulfellows__1_5_1_2_2_2_3_2 NP n28_a_paulfellows__1_5_1_2_2_2_3->n28_a_paulfellows__1_5_1_2_2_2_3_2 n28_a_paulfellows__1_5_1_2_2_2_3_1->n28_a_paulfellows__1_5_1_2_2_2_3_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_1 D n28_a_paulfellows__1_5_1_2_2_2_3_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_2 N n28_a_paulfellows__1_5_1_2_2_2_3_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_2 n28_a_paulfellows__1_5_1_2_2_2_3_2_3 PP n28_a_paulfellows__1_5_1_2_2_2_3_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3 n28_a_paulfellows__1_5_1_2_2_2_3_2_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_2_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_1 P-ROLE n28_a_paulfellows__1_5_1_2_2_2_3_2_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2 IP-PPL n28_a_paulfellows__1_5_1_2_2_2_3_2_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_1 HAG;_Tn_ n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2 NP-OB1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_1 N n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2 PRN n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3 IP-INF-REL n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2_1 NP n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2_1_1 Q;_nphd_ n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2_1_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_2_1_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_1 TO n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_2 DO;_Tn_ n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_2 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3 NP-OB1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4 PP-NIM n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_2_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_1 D n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_2 N n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_2 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_3 N n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_3 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_2_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_3->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_3_3_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_1 P-ROLE n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_2 NP n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_2 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_1->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_1_1 n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_2->n28_a_paulfellows__1_5_1_2_2_2_3_2_3_2_2_3_4_2_1 n28_a_paulfellows__1_6->n28_a_paulfellows__1_6_1
( (IP-MAT (NP-SBJ;{DEV_BOARD} (D;_nphd_ This;{this}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (N development;{development})
                  (NPR board;{board})
                  (IP-REL (C that;{that})
                          (NP-OB1 *T*)
                          (NP-SBJ (PRO we;{we}))
                          (HVD;_Tn_ had;{have})))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO we;{we}))
                       (ILYR (ILYR (ADVP-NIM (ADV first;{first}))
                                   (HVD;_Tn_ had;{have})
                                   (NP-OB1 (NUM one;{one})))
                             (CONJP (CONJ and;{and})
                                    (ILYR (ADVP-NIM (ADV gradually;{gradually}))
                                          (VBD;__ got;{get})
                                          (PP-NIM (P-ROLE to;{to})
                                                  (NP (D the;{the})
                                                      (N point;{point})
                                                      (PP (P-ROLE of;{of})
                                                          (IP-PPL (HAG;_Tn_ having;{have})
                                                                  (NP-OB1 (N one;{one})
                                                                          (PRN (NP (Q;_nphd_ each;{each})))
                                                                          (IP-INF-REL (TO to;{to})
                                                                                      (DO;_Tn_ do;{do})
                                                                                      (NP-OB1 (D the;{the})
                                                                                              (N development;{development})
                                                                                              (N work;{work}))
                                                                                      (PP-NIM (P-ROLE on;{on})
                                                                                              (NP *T*)))))))))))))
          (PUNC .))
  (ID 28_a_paulfellows))



%3 z_0028_5014 z_0028_5013 z_0028_5014->z_0028_5013 [prd] r_0028_0022__one one z_0028_5014->r_0028_0022__one [arg0] r_0028_0025__do do r_0028_0025__do->r_0028_0022__one on inv_nim z_0028_5017 r_0028_0025__do->z_0028_5017 [arg0] r_0028_0026__the_r_0028_0027__development_r_0028_0028__work the development work r_0028_0025__do->r_0028_0026__the_r_0028_0027__development_r_0028_0028__work [arg1] r_0028_0023__each__quant each [quant] r_0028_0023__each__quant->z_0028_5014 [scope] r_0028_0023__each__quant->z_0028_5013 [restriction] r_0028_0021__having having r_0028_0021__having->r_0028_0022__one [arg1] z_0028_5009 r_0028_0021__having->z_0028_5009 [arg0] r_0028_0018__the_r_0028_0019__point the point r_0028_0018__the_r_0028_0019__point->r_0028_0021__having of r_0028_0016__got got r_0028_0016__got->r_0028_0018__the_r_0028_0019__point to [nim] r_0028_0015__gradually gradually r_0028_0016__got->r_0028_0015__gradually [nim] r_0028_0010__we we r_0028_0016__got->r_0028_0010__we [arg0] r_0028_0014__and and r_0028_0014__and->r_0028_0016__got [conj2] r_0028_0012__had had r_0028_0014__and->r_0028_0012__had [conj1] r_0028_0012__had->r_0028_0010__we [arg0] r_0028_0013__one one r_0028_0012__had->r_0028_0013__one [arg1] r_0028_0011__first first r_0028_0012__had->r_0028_0011__first [nim] r_0028_0008__had had r_0028_0007__we we r_0028_0008__had->r_0028_0007__we [arg0] r_0028_0003__the_r_0028_0004__development_r_0028_0005__board the development board r_0028_0008__had->r_0028_0003__the_r_0028_0004__development_r_0028_0005__board [inv_arg1] r_0028_0002__was was r_0028_0002__was->r_0028_0014__and [prn] r_0028_0002__was->r_0028_0003__the_r_0028_0004__development_r_0028_0005__board [prd] r_0028_0001__This This r_0028_0002__was->r_0028_0001__This [arg0]
arc(r_0028_0002__was,r_0028_0001__This,arg0).
arc(r_0028_0002__was,r_0028_0003__the_r_0028_0004__development_r_0028_0005__board,prd).
arc(r_0028_0002__was,r_0028_0014__and,prn).
arc(r_0028_0008__had,r_0028_0003__the_r_0028_0004__development_r_0028_0005__board,inv_arg1).
arc(r_0028_0008__had,r_0028_0007__we,arg0).
arc(r_0028_0012__had,r_0028_0010__we,arg0).
arc(r_0028_0012__had,r_0028_0011__first,nim).
arc(r_0028_0012__had,r_0028_0013__one,arg1).
arc(r_0028_0014__and,r_0028_0012__had,conj1).
arc(r_0028_0014__and,r_0028_0016__got,conj2).
arc(r_0028_0016__got,r_0028_0010__we,arg0).
arc(r_0028_0016__got,r_0028_0015__gradually,nim).
arc(r_0028_0016__got,r_0028_0018__the_r_0028_0019__point,r_0028_0017__to__nim).
arc(r_0028_0018__the_r_0028_0019__point,r_0028_0021__having,r_0028_0020__of).
arc(r_0028_0021__having,r_0028_0022__one,arg1).
arc(r_0028_0021__having,z_0028_5009,arg0).
arc(r_0028_0023__each__quant,z_0028_5013,restriction).
arc(r_0028_0023__each__quant,z_0028_5014,scope).
arc(r_0028_0025__do,r_0028_0022__one,r_0028_0029__on__inv_nim).
arc(r_0028_0025__do,r_0028_0026__the_r_0028_0027__development_r_0028_0028__work,arg1).
arc(r_0028_0025__do,z_0028_5017,arg0).
arc(z_0028_5014,r_0028_0022__one,arg0).
arc(z_0028_5014,z_0028_5013,prd).



%3 r_0028_0002__was was r_0028_0001__This This r_0028_0002__was->r_0028_0001__This [arg0] r_0028_0003__the_r_0028_0004__development_r_0028_0005__board the development board r_0028_0002__was->r_0028_0003__the_r_0028_0004__development_r_0028_0005__board [prd] r_0028_0014__and and r_0028_0002__was->r_0028_0014__and [prn] r_0028_0008__had had r_0028_0003__the_r_0028_0004__development_r_0028_0005__board->r_0028_0008__had [inv_arg1] r_0028_0012__had had r_0028_0014__and->r_0028_0012__had [conj1] r_0028_0016__got got r_0028_0014__and->r_0028_0016__got [conj2] r_0028_0007__we we r_0028_0008__had->r_0028_0007__we [arg0] r_0028_0010__we we r_0028_0012__had->r_0028_0010__we [arg0] r_0028_0011__first first r_0028_0012__had->r_0028_0011__first [nim] r_0028_0013__one one r_0028_0012__had->r_0028_0013__one [arg1] r_0028_0016__got->r_0028_0010__we [arg0] r_0028_0015__gradually gradually r_0028_0016__got->r_0028_0015__gradually [nim] r_0028_0018__the_r_0028_0019__point the point r_0028_0016__got->r_0028_0018__the_r_0028_0019__point to [nim] r_0028_0021__having having r_0028_0018__the_r_0028_0019__point->r_0028_0021__having of r_0028_0022__one one r_0028_0021__having->r_0028_0022__one [arg1] z_0028_5009 r_0028_0021__having->z_0028_5009 [arg0] r_0028_0025__do do r_0028_0022__one->r_0028_0025__do on inv_nim r_0028_0023__each__quant each [quant] z_0028_5013 r_0028_0023__each__quant->z_0028_5013 [restriction] z_0028_5014 r_0028_0023__each__quant->z_0028_5014 [scope] z_0028_5014->r_0028_0022__one [arg0] z_0028_5014->z_0028_5013 [prd] r_0028_0026__the_r_0028_0027__development_r_0028_0028__work the development work r_0028_0025__do->r_0028_0026__the_r_0028_0027__development_r_0028_0028__work [arg1] z_0028_5017 r_0028_0025__do->z_0028_5017 [arg0]
fof(formula,axiom,
    ? [R_0028_0001__THIS,R_0028_0007__WE,R_0028_0008__HAD,R_0028_0003__THE_R_0028_0004__DEVELOPMENT_R_0028_0005__BOARD,R_0028_0010__WE,R_0028_0011__FIRST,R_0028_0013__ONE,R_0028_0012__HAD,R_0028_0015__GRADUALLY,R_0028_0026__THE_R_0028_0027__DEVELOPMENT_R_0028_0028__WORK,Z_0028_5017,R_0028_0025__DO,R_0028_0022__ONE,Z_0028_5009,R_0028_0021__HAVING,R_0028_0018__THE_R_0028_0019__POINT,R_0028_0016__GOT,R_0028_0014__AND,R_0028_0002__WAS] :
      ( r_0028_0001__This(R_0028_0001__THIS)
      & r_0028_0007__we(R_0028_0007__WE)
      & r_0028_0010__we(R_0028_0010__WE)
      & r_0028_0011__first(R_0028_0011__FIRST)
      & r_0028_0013__one(R_0028_0013__ONE)
      & r_0028_0015__gradually(R_0028_0015__GRADUALLY)
      & r_0028_0026__the_r_0028_0027__development_r_0028_0028__work(R_0028_0026__THE_R_0028_0027__DEVELOPMENT_R_0028_0028__WORK)
      & z_0028_5009(Z_0028_5009)
      & z_0028_5017(Z_0028_5017)
      & ! [Z_0028_5013] :
          ( z_0028_5013(Z_0028_5013)
         => ? [Z_0028_5014] :
              ( z_0028_5014(Z_0028_5014)
              & has_prd(Z_0028_5014,Z_0028_5013)
              & has_arg0(Z_0028_5014,R_0028_0022__ONE) ) )
      & r_0028_0002__was(R_0028_0002__WAS)
      & has_prn(R_0028_0002__WAS,R_0028_0014__AND)
      & r_0028_0014__and(R_0028_0014__AND)
      & has_conj2(R_0028_0014__AND,R_0028_0016__GOT)
      & r_0028_0016__got(R_0028_0016__GOT)
      & has_r_0028_0017__to__nim(R_0028_0016__GOT,R_0028_0018__THE_R_0028_0019__POINT)
      & r_0028_0018__the_r_0028_0019__point(R_0028_0018__THE_R_0028_0019__POINT)
      & has_r_0028_0020__of(R_0028_0018__THE_R_0028_0019__POINT,R_0028_0021__HAVING)
      & r_0028_0021__having(R_0028_0021__HAVING)
      & has_arg0(R_0028_0021__HAVING,Z_0028_5009)
      & has_arg1(R_0028_0021__HAVING,R_0028_0022__ONE)
      & r_0028_0022__one(R_0028_0022__ONE)
      & has_r_0028_0029__on__inv_nim(R_0028_0022__ONE,R_0028_0025__DO)
      & r_0028_0025__do(R_0028_0025__DO)
      & has_arg0(R_0028_0025__DO,Z_0028_5017)
      & has_arg1(R_0028_0025__DO,R_0028_0026__THE_R_0028_0027__DEVELOPMENT_R_0028_0028__WORK)
      & has_nim(R_0028_0016__GOT,R_0028_0015__GRADUALLY)
      & has_arg0(R_0028_0016__GOT,R_0028_0010__WE)
      & has_conj1(R_0028_0014__AND,R_0028_0012__HAD)
      & r_0028_0012__had(R_0028_0012__HAD)
      & has_arg1(R_0028_0012__HAD,R_0028_0013__ONE)
      & has_nim(R_0028_0012__HAD,R_0028_0011__FIRST)
      & has_arg0(R_0028_0012__HAD,R_0028_0010__WE)
      & has_prd(R_0028_0002__WAS,R_0028_0003__THE_R_0028_0004__DEVELOPMENT_R_0028_0005__BOARD)
      & r_0028_0003__the_r_0028_0004__development_r_0028_0005__board(R_0028_0003__THE_R_0028_0004__DEVELOPMENT_R_0028_0005__BOARD)
      & has_inv_arg1(R_0028_0003__THE_R_0028_0004__DEVELOPMENT_R_0028_0005__BOARD,R_0028_0008__HAD)
      & r_0028_0008__had(R_0028_0008__HAD)
      & has_arg0(R_0028_0008__HAD,R_0028_0007__WE)
      & has_arg0(R_0028_0002__WAS,R_0028_0001__THIS) ) ).