Context                Previous, Next                Top


38_a_paulfellows
Inside you've got the floppy drive, hard drive, podule bus, you've all seen this, it's very similar to any other Archimedes.

%3 r_0038_0003___apos_ve 've r_0038_0001__Inside Inside r_0038_0003___apos_ve->r_0038_0001__Inside [nim] r_0038_0004__got got r_0038_0003___apos_ve->r_0038_0004__got [scope] r_0038_0002__you you r_0038_0004__got->r_0038_0002__you [arg0] z_000_38_a_paulfellows_16 r_0038_0004__got->z_000_38_a_paulfellows_16 [arg1] r_0038_0007__drive drive z_000_38_a_paulfellows_16->r_0038_0007__drive [conj1] r_0038_0010__drive drive z_000_38_a_paulfellows_16->r_0038_0010__drive [conj2] r_0038_0012__podule_r_0038_0013__bus podule bus z_000_38_a_paulfellows_16->r_0038_0012__podule_r_0038_0013__bus [conj3] r_0038_0006__floppy floppy r_0038_0007__drive->r_0038_0006__floppy [attrib] r_0038_0009__hard hard r_0038_0010__drive->r_0038_0009__hard [attrib] 
arc(r_0038_0003___apos_ve, r_0038_0001__Inside, nim2).
arc(r_0038_0003___apos_ve, r_0038_0004__got, scope).
arc(r_0038_0004__got, r_0038_0002__you, arg0).
arc(r_0038_0004__got, z_000_38_a_paulfellows_16, arg1).
arc(r_0038_0007__drive, r_0038_0006__floppy, attrib18).
arc(r_0038_0010__drive, r_0038_0009__hard, attrib27).
arc(z_000_38_a_paulfellows_16, r_0038_0007__drive, conj1).
arc(z_000_38_a_paulfellows_16, r_0038_0010__drive, conj2).
arc(z_000_38_a_paulfellows_16, r_0038_0012__podule_r_0038_0013__bus, conj3).


%3 z_000_38_a_paulfellows_16 r_0038_0012__podule_r_0038_0013__bus podule bus z_000_38_a_paulfellows_16->r_0038_0012__podule_r_0038_0013__bus [conj3] r_0038_0010__drive drive z_000_38_a_paulfellows_16->r_0038_0010__drive [conj2] r_0038_0007__drive drive z_000_38_a_paulfellows_16->r_0038_0007__drive [conj1] r_0038_0009__hard hard r_0038_0010__drive->r_0038_0009__hard [attrib] r_0038_0006__floppy floppy r_0038_0007__drive->r_0038_0006__floppy [attrib] r_0038_0003___apos_ve_r_0038_0004__got 've got r_0038_0003___apos_ve_r_0038_0004__got->z_000_38_a_paulfellows_16 [arg1] r_0038_0002__you you r_0038_0003___apos_ve_r_0038_0004__got->r_0038_0002__you [arg0] r_0038_0001__Inside Inside r_0038_0003___apos_ve_r_0038_0004__got->r_0038_0001__Inside [nim] 
fof(formula,axiom,
    ? [R_0038_0001__INSIDE,R_0038_0002__YOU,R_0038_0006__FLOPPY,R_0038_0007__DRIVE,R_0038_0009__HARD,R_0038_0010__DRIVE,R_0038_0012__PODULE_R_0038_0013__BUS,Z_000_38_A_PAULFELLOWS_16,R_0038_0003___APOS_VE_R_0038_0004__GOT] :
      ( r_0038_0001__Inside(R_0038_0001__INSIDE)
      & r_0038_0002__you(R_0038_0002__YOU)
      & r_0038_0006__floppy(R_0038_0006__FLOPPY)
      & r_0038_0009__hard(R_0038_0009__HARD)
      & r_0038_0012__podule_r_0038_0013__bus(R_0038_0012__PODULE_R_0038_0013__BUS)
      & r_0038_0003___apos_ve_r_0038_0004__got(R_0038_0003___APOS_VE_R_0038_0004__GOT)
      & has_arg1(R_0038_0003___APOS_VE_R_0038_0004__GOT,Z_000_38_A_PAULFELLOWS_16)
      & z_000_38_a_paulfellows_16(Z_000_38_A_PAULFELLOWS_16)
      & has_conj3(Z_000_38_A_PAULFELLOWS_16,R_0038_0012__PODULE_R_0038_0013__BUS)
      & has_conj2(Z_000_38_A_PAULFELLOWS_16,R_0038_0010__DRIVE)
      & r_0038_0010__drive(R_0038_0010__DRIVE)
      & has_attrib27(R_0038_0010__DRIVE,R_0038_0009__HARD)
      & has_conj1(Z_000_38_A_PAULFELLOWS_16,R_0038_0007__DRIVE)
      & r_0038_0007__drive(R_0038_0007__DRIVE)
      & has_attrib18(R_0038_0007__DRIVE,R_0038_0006__FLOPPY)
      & has_arg0(R_0038_0003___APOS_VE_R_0038_0004__GOT,R_0038_0002__YOU)
      & has_nim2(R_0038_0003___APOS_VE_R_0038_0004__GOT,R_0038_0001__INSIDE) ) ).


n38_a_paulfellows n38_a_paulfellows__1_1_1_1 Inside n38_a_paulfellows__1_2_1_1 you n38_a_paulfellows__1_3_1 've n38_a_paulfellows__1_4_1_1 got n38_a_paulfellows__1_4_2_1_1 the n38_a_paulfellows__1_4_2_2_1_1_1_1 floppy n38_a_paulfellows__1_4_2_2_1_2_1 drive n38_a_paulfellows__1_4_2_2_2_1 , n38_a_paulfellows__1_4_2_2_3_1_1_1_1 hard n38_a_paulfellows__1_4_2_2_3_1_2_1 drive n38_a_paulfellows__1_4_2_2_4_1 , n38_a_paulfellows__1_4_2_2_5_1_1_1 podule n38_a_paulfellows__1_4_2_2_5_1_2_1 bus n38_a_paulfellows__1_5_1 , n38_a_paulfellows__1_6_1_1_1_1 you n38_a_paulfellows__1_6_1_2_1 've n38_a_paulfellows__1_6_1_3_1_1_1 all n38_a_paulfellows__1_6_1_3_2_1 seen n38_a_paulfellows__1_6_1_3_3_1_1 this n38_a_paulfellows__1_6_1_4_1 , n38_a_paulfellows__1_6_1_5_1_1_1_1 it n38_a_paulfellows__1_6_1_5_1_2_1 's n38_a_paulfellows__1_6_1_5_1_3_1_1_1 very n38_a_paulfellows__1_6_1_5_1_3_2_1 similar n38_a_paulfellows__1_6_1_5_1_3_3_1_1 to n38_a_paulfellows__1_6_1_5_1_3_3_2_1_1 any n38_a_paulfellows__1_6_1_5_1_3_3_2_2_1_1 other n38_a_paulfellows__1_6_1_5_1_3_3_2_3_1 Archimedes n38_a_paulfellows__1_7_1 . n38_a_paulfellows__1 IP-MAT n38_a_paulfellows__1_1 ADVP-NIM n38_a_paulfellows__1->n38_a_paulfellows__1_1 n38_a_paulfellows__1_2 NP-SBJ n38_a_paulfellows__1->n38_a_paulfellows__1_2 n38_a_paulfellows__1_3 HVP;_cat_Ve_ n38_a_paulfellows__1->n38_a_paulfellows__1_3 n38_a_paulfellows__1_4 IP-PPL-CAT n38_a_paulfellows__1->n38_a_paulfellows__1_4 n38_a_paulfellows__1_5 PUNC n38_a_paulfellows__1->n38_a_paulfellows__1_5 n38_a_paulfellows__1_6 PRN n38_a_paulfellows__1->n38_a_paulfellows__1_6 n38_a_paulfellows__1_7 PUNC n38_a_paulfellows__1->n38_a_paulfellows__1_7 n38_a_paulfellows__1_1_1 ADV n38_a_paulfellows__1_1->n38_a_paulfellows__1_1_1 n38_a_paulfellows__1_1_1->n38_a_paulfellows__1_1_1_1 n38_a_paulfellows__1_2_1 PRO n38_a_paulfellows__1_2->n38_a_paulfellows__1_2_1 n38_a_paulfellows__1_2_1->n38_a_paulfellows__1_2_1_1 n38_a_paulfellows__1_3->n38_a_paulfellows__1_3_1 n38_a_paulfellows__1_4_1 VVN;__ n38_a_paulfellows__1_4->n38_a_paulfellows__1_4_1 n38_a_paulfellows__1_4_2 NP-OB1 n38_a_paulfellows__1_4->n38_a_paulfellows__1_4_2 n38_a_paulfellows__1_4_1->n38_a_paulfellows__1_4_1_1 n38_a_paulfellows__1_4_2_1 D n38_a_paulfellows__1_4_2->n38_a_paulfellows__1_4_2_1 n38_a_paulfellows__1_4_2_2 NLYR n38_a_paulfellows__1_4_2->n38_a_paulfellows__1_4_2_2 n38_a_paulfellows__1_4_2_1->n38_a_paulfellows__1_4_2_1_1 n38_a_paulfellows__1_4_2_2_1 NLYR n38_a_paulfellows__1_4_2_2->n38_a_paulfellows__1_4_2_2_1 n38_a_paulfellows__1_4_2_2_2 PUNC n38_a_paulfellows__1_4_2_2->n38_a_paulfellows__1_4_2_2_2 n38_a_paulfellows__1_4_2_2_3 CONJP n38_a_paulfellows__1_4_2_2->n38_a_paulfellows__1_4_2_2_3 n38_a_paulfellows__1_4_2_2_4 PUNC n38_a_paulfellows__1_4_2_2->n38_a_paulfellows__1_4_2_2_4 n38_a_paulfellows__1_4_2_2_5 CONJP n38_a_paulfellows__1_4_2_2->n38_a_paulfellows__1_4_2_2_5 n38_a_paulfellows__1_4_2_2_1_1 ADJP n38_a_paulfellows__1_4_2_2_1->n38_a_paulfellows__1_4_2_2_1_1 n38_a_paulfellows__1_4_2_2_1_2 N n38_a_paulfellows__1_4_2_2_1->n38_a_paulfellows__1_4_2_2_1_2 n38_a_paulfellows__1_4_2_2_1_1_1 ADJ n38_a_paulfellows__1_4_2_2_1_1->n38_a_paulfellows__1_4_2_2_1_1_1 n38_a_paulfellows__1_4_2_2_1_1_1->n38_a_paulfellows__1_4_2_2_1_1_1_1 n38_a_paulfellows__1_4_2_2_1_2->n38_a_paulfellows__1_4_2_2_1_2_1 n38_a_paulfellows__1_4_2_2_2->n38_a_paulfellows__1_4_2_2_2_1 n38_a_paulfellows__1_4_2_2_3_1 NLYR n38_a_paulfellows__1_4_2_2_3->n38_a_paulfellows__1_4_2_2_3_1 n38_a_paulfellows__1_4_2_2_3_1_1 ADJP n38_a_paulfellows__1_4_2_2_3_1->n38_a_paulfellows__1_4_2_2_3_1_1 n38_a_paulfellows__1_4_2_2_3_1_2 N n38_a_paulfellows__1_4_2_2_3_1->n38_a_paulfellows__1_4_2_2_3_1_2 n38_a_paulfellows__1_4_2_2_3_1_1_1 ADJ n38_a_paulfellows__1_4_2_2_3_1_1->n38_a_paulfellows__1_4_2_2_3_1_1_1 n38_a_paulfellows__1_4_2_2_3_1_1_1->n38_a_paulfellows__1_4_2_2_3_1_1_1_1 n38_a_paulfellows__1_4_2_2_3_1_2->n38_a_paulfellows__1_4_2_2_3_1_2_1 n38_a_paulfellows__1_4_2_2_4->n38_a_paulfellows__1_4_2_2_4_1 n38_a_paulfellows__1_4_2_2_5_1 NLYR n38_a_paulfellows__1_4_2_2_5->n38_a_paulfellows__1_4_2_2_5_1 n38_a_paulfellows__1_4_2_2_5_1_1 N n38_a_paulfellows__1_4_2_2_5_1->n38_a_paulfellows__1_4_2_2_5_1_1 n38_a_paulfellows__1_4_2_2_5_1_2 N n38_a_paulfellows__1_4_2_2_5_1->n38_a_paulfellows__1_4_2_2_5_1_2 n38_a_paulfellows__1_4_2_2_5_1_1->n38_a_paulfellows__1_4_2_2_5_1_1_1 n38_a_paulfellows__1_4_2_2_5_1_2->n38_a_paulfellows__1_4_2_2_5_1_2_1 n38_a_paulfellows__1_5->n38_a_paulfellows__1_5_1 n38_a_paulfellows__1_6_1 IP-MAT n38_a_paulfellows__1_6->n38_a_paulfellows__1_6_1 n38_a_paulfellows__1_6_1_1 NP-SBJ n38_a_paulfellows__1_6_1->n38_a_paulfellows__1_6_1_1 n38_a_paulfellows__1_6_1_2 HVP;_cat_Ve_ n38_a_paulfellows__1_6_1->n38_a_paulfellows__1_6_1_2 n38_a_paulfellows__1_6_1_3 IP-PPL-CAT n38_a_paulfellows__1_6_1->n38_a_paulfellows__1_6_1_3 n38_a_paulfellows__1_6_1_4 PUNC n38_a_paulfellows__1_6_1->n38_a_paulfellows__1_6_1_4 n38_a_paulfellows__1_6_1_5 PRN n38_a_paulfellows__1_6_1->n38_a_paulfellows__1_6_1_5 n38_a_paulfellows__1_6_1_1_1 PRO n38_a_paulfellows__1_6_1_1->n38_a_paulfellows__1_6_1_1_1 n38_a_paulfellows__1_6_1_1_1->n38_a_paulfellows__1_6_1_1_1_1 n38_a_paulfellows__1_6_1_2->n38_a_paulfellows__1_6_1_2_1 n38_a_paulfellows__1_6_1_3_1 ADVP-NIM n38_a_paulfellows__1_6_1_3->n38_a_paulfellows__1_6_1_3_1 n38_a_paulfellows__1_6_1_3_2 VVN;__ n38_a_paulfellows__1_6_1_3->n38_a_paulfellows__1_6_1_3_2 n38_a_paulfellows__1_6_1_3_3 NP-OB1 n38_a_paulfellows__1_6_1_3->n38_a_paulfellows__1_6_1_3_3 n38_a_paulfellows__1_6_1_3_1_1 ADV n38_a_paulfellows__1_6_1_3_1->n38_a_paulfellows__1_6_1_3_1_1 n38_a_paulfellows__1_6_1_3_1_1->n38_a_paulfellows__1_6_1_3_1_1_1 n38_a_paulfellows__1_6_1_3_2->n38_a_paulfellows__1_6_1_3_2_1 n38_a_paulfellows__1_6_1_3_3_1 D;_nphd_ n38_a_paulfellows__1_6_1_3_3->n38_a_paulfellows__1_6_1_3_3_1 n38_a_paulfellows__1_6_1_3_3_1->n38_a_paulfellows__1_6_1_3_3_1_1 n38_a_paulfellows__1_6_1_4->n38_a_paulfellows__1_6_1_4_1 n38_a_paulfellows__1_6_1_5_1 IP-MAT n38_a_paulfellows__1_6_1_5->n38_a_paulfellows__1_6_1_5_1 n38_a_paulfellows__1_6_1_5_1_1 NP-SBJ n38_a_paulfellows__1_6_1_5_1->n38_a_paulfellows__1_6_1_5_1_1 n38_a_paulfellows__1_6_1_5_1_2 BEP;_La_ n38_a_paulfellows__1_6_1_5_1->n38_a_paulfellows__1_6_1_5_1_2 n38_a_paulfellows__1_6_1_5_1_3 ADJP-PRD n38_a_paulfellows__1_6_1_5_1->n38_a_paulfellows__1_6_1_5_1_3 n38_a_paulfellows__1_6_1_5_1_1_1 PRO n38_a_paulfellows__1_6_1_5_1_1->n38_a_paulfellows__1_6_1_5_1_1_1 n38_a_paulfellows__1_6_1_5_1_1_1->n38_a_paulfellows__1_6_1_5_1_1_1_1 n38_a_paulfellows__1_6_1_5_1_2->n38_a_paulfellows__1_6_1_5_1_2_1 n38_a_paulfellows__1_6_1_5_1_3_1 ADVP n38_a_paulfellows__1_6_1_5_1_3->n38_a_paulfellows__1_6_1_5_1_3_1 n38_a_paulfellows__1_6_1_5_1_3_2 ADJ n38_a_paulfellows__1_6_1_5_1_3->n38_a_paulfellows__1_6_1_5_1_3_2 n38_a_paulfellows__1_6_1_5_1_3_3 PP n38_a_paulfellows__1_6_1_5_1_3->n38_a_paulfellows__1_6_1_5_1_3_3 n38_a_paulfellows__1_6_1_5_1_3_1_1 ADV n38_a_paulfellows__1_6_1_5_1_3_1->n38_a_paulfellows__1_6_1_5_1_3_1_1 n38_a_paulfellows__1_6_1_5_1_3_1_1->n38_a_paulfellows__1_6_1_5_1_3_1_1_1 n38_a_paulfellows__1_6_1_5_1_3_2->n38_a_paulfellows__1_6_1_5_1_3_2_1 n38_a_paulfellows__1_6_1_5_1_3_3_1 P-ROLE n38_a_paulfellows__1_6_1_5_1_3_3->n38_a_paulfellows__1_6_1_5_1_3_3_1 n38_a_paulfellows__1_6_1_5_1_3_3_2 NP n38_a_paulfellows__1_6_1_5_1_3_3->n38_a_paulfellows__1_6_1_5_1_3_3_2 n38_a_paulfellows__1_6_1_5_1_3_3_1->n38_a_paulfellows__1_6_1_5_1_3_3_1_1 n38_a_paulfellows__1_6_1_5_1_3_3_2_1 D n38_a_paulfellows__1_6_1_5_1_3_3_2->n38_a_paulfellows__1_6_1_5_1_3_3_2_1 n38_a_paulfellows__1_6_1_5_1_3_3_2_2 ADJP n38_a_paulfellows__1_6_1_5_1_3_3_2->n38_a_paulfellows__1_6_1_5_1_3_3_2_2 n38_a_paulfellows__1_6_1_5_1_3_3_2_3 NPR n38_a_paulfellows__1_6_1_5_1_3_3_2->n38_a_paulfellows__1_6_1_5_1_3_3_2_3 n38_a_paulfellows__1_6_1_5_1_3_3_2_1->n38_a_paulfellows__1_6_1_5_1_3_3_2_1_1 n38_a_paulfellows__1_6_1_5_1_3_3_2_2_1 ADJ n38_a_paulfellows__1_6_1_5_1_3_3_2_2->n38_a_paulfellows__1_6_1_5_1_3_3_2_2_1 n38_a_paulfellows__1_6_1_5_1_3_3_2_2_1->n38_a_paulfellows__1_6_1_5_1_3_3_2_2_1_1 n38_a_paulfellows__1_6_1_5_1_3_3_2_3->n38_a_paulfellows__1_6_1_5_1_3_3_2_3_1 n38_a_paulfellows__1_7->n38_a_paulfellows__1_7_1 
( (IP-MAT (ADVP-NIM (ADV Inside;{inside}))
          (NP-SBJ (PRO you;{you}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (VVN;__ got;{get})
                      (NP-OB1;{PARTS} (D the;{the})
                                      (NLYR (NLYR (ADJP (ADJ floppy;{floppy}))
                                                  (N drive;{drive}))
                                            (PUNC ,)
                                            (CONJP (NLYR (ADJP (ADJ hard;{hard}))
                                                         (N drive;{drive})))
                                            (PUNC ,)
                                            (CONJP (NLYR (N podule;{podule})
                                                         (N bus;{bus}))))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO you;{you}))
                       (HVP;_cat_Ve_ <apos>ve;{have})
                       (IP-PPL-CAT (ADVP-NIM (ADV all;{all}))
                                   (VVN;__ seen;{see})
                                   (NP-OB1;{PARTS} (D;_nphd_ this;{this})))
                       (PUNC ,)
                       (PRN (IP-MAT (NP-SBJ;{PARTS} (PRO it;{it}))
                                    (BEP;_La_ <apos>s;{be})
                                    (ADJP-PRD (ADVP (ADV very;{very}))
                                              (ADJ similar;{similar})
                                              (PP (P-ROLE to;{to})
                                                  (NP (D any;{any})
                                                      (ADJP (ADJ other;{other}))
                                                      (NPR Archimedes;{Archimedes}))))))))
          (PUNC .))
  (ID 38_a_paulfellows))