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 r_0038_0003___apos_ve_r_0038_0004__got 've got r_0038_0001__Inside Inside r_0038_0003___apos_ve_r_0038_0004__got->r_0038_0001__Inside [nim] r_0038_0002__you you r_0038_0003___apos_ve_r_0038_0004__got->r_0038_0002__you [arg0] z_000_38_a_paulfellows_16 r_0038_0003___apos_ve_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] 
fof(formula,axiom,
    ? [R_38_3__APOS_VE_GOT,R_38_2_YOU,Z_38_A_PAULFELLOWS_16,R_38_7_DRIVE,R_38_6_FLOPPY,R_38_10_DRIVE,R_38_9_HARD,R_38_12_PODULE_BUS,R_38_1_INSIDE] :
      ( you(R_38_2_YOU)
      & floppy(R_38_6_FLOPPY)
      & hard(R_38_9_HARD)
      & podule_bus(R_38_12_PODULE_BUS)
      & inside(R_38_1_INSIDE)
      & _apos_ve_got(R_38_3__APOS_VE_GOT,R_38_2_YOU,Z_38_A_PAULFELLOWS_16)
      & z_38_a_paulfellows_16(Z_38_A_PAULFELLOWS_16)
      & conj1(Z_38_A_PAULFELLOWS_16,R_38_7_DRIVE)
      & drive(R_38_7_DRIVE)
      & attrib18(R_38_7_DRIVE,R_38_6_FLOPPY)
      & conj2(Z_38_A_PAULFELLOWS_16,R_38_10_DRIVE)
      & drive(R_38_10_DRIVE)
      & attrib27(R_38_10_DRIVE,R_38_9_HARD)
      & conj3(Z_38_A_PAULFELLOWS_16,R_38_12_PODULE_BUS)
      & nim2(R_38_3__APOS_VE_GOT,R_38_1_INSIDE) ) ).


n38_a_paulfellows n38_a_paulfellows_4 Inside n38_a_paulfellows_7 you n38_a_paulfellows_9 've n38_a_paulfellows_12 got n38_a_paulfellows_15 the n38_a_paulfellows_20 floppy n38_a_paulfellows_22 drive n38_a_paulfellows_24 , n38_a_paulfellows_29 hard n38_a_paulfellows_31 drive n38_a_paulfellows_33 , n38_a_paulfellows_37 podule n38_a_paulfellows_39 bus n38_a_paulfellows_41 , n38_a_paulfellows_46 you n38_a_paulfellows_48 've n38_a_paulfellows_52 all n38_a_paulfellows_54 seen n38_a_paulfellows_57 this n38_a_paulfellows_59 , n38_a_paulfellows_64 it n38_a_paulfellows_66 's n38_a_paulfellows_70 very n38_a_paulfellows_72 similar n38_a_paulfellows_75 to n38_a_paulfellows_78 any n38_a_paulfellows_81 other n38_a_paulfellows_83 Archimedes n38_a_paulfellows_85 . n38_a_paulfellows_1 IP-MAT n38_a_paulfellows_2 ADVP-NIM n38_a_paulfellows_1->n38_a_paulfellows_2 n38_a_paulfellows_5 NP-SBJ n38_a_paulfellows_1->n38_a_paulfellows_5 n38_a_paulfellows_8 HVP;_cat_Ve_ n38_a_paulfellows_1->n38_a_paulfellows_8 n38_a_paulfellows_10 IP-PPL-CAT n38_a_paulfellows_1->n38_a_paulfellows_10 n38_a_paulfellows_40 PUNC n38_a_paulfellows_1->n38_a_paulfellows_40 n38_a_paulfellows_42 PRN n38_a_paulfellows_1->n38_a_paulfellows_42 n38_a_paulfellows_84 PUNC n38_a_paulfellows_1->n38_a_paulfellows_84 n38_a_paulfellows_3 ADV n38_a_paulfellows_2->n38_a_paulfellows_3 n38_a_paulfellows_3->n38_a_paulfellows_4 n38_a_paulfellows_6 PRO n38_a_paulfellows_5->n38_a_paulfellows_6 n38_a_paulfellows_6->n38_a_paulfellows_7 n38_a_paulfellows_8->n38_a_paulfellows_9 n38_a_paulfellows_11 VVN;__ n38_a_paulfellows_10->n38_a_paulfellows_11 n38_a_paulfellows_13 NP-OB1 n38_a_paulfellows_10->n38_a_paulfellows_13 n38_a_paulfellows_11->n38_a_paulfellows_12 n38_a_paulfellows_14 D n38_a_paulfellows_13->n38_a_paulfellows_14 n38_a_paulfellows_16 NLYR n38_a_paulfellows_13->n38_a_paulfellows_16 n38_a_paulfellows_14->n38_a_paulfellows_15 n38_a_paulfellows_17 NLYR n38_a_paulfellows_16->n38_a_paulfellows_17 n38_a_paulfellows_23 PUNC n38_a_paulfellows_16->n38_a_paulfellows_23 n38_a_paulfellows_25 CONJP n38_a_paulfellows_16->n38_a_paulfellows_25 n38_a_paulfellows_32 PUNC n38_a_paulfellows_16->n38_a_paulfellows_32 n38_a_paulfellows_34 CONJP n38_a_paulfellows_16->n38_a_paulfellows_34 n38_a_paulfellows_18 ADJP n38_a_paulfellows_17->n38_a_paulfellows_18 n38_a_paulfellows_21 N n38_a_paulfellows_17->n38_a_paulfellows_21 n38_a_paulfellows_19 ADJ n38_a_paulfellows_18->n38_a_paulfellows_19 n38_a_paulfellows_19->n38_a_paulfellows_20 n38_a_paulfellows_21->n38_a_paulfellows_22 n38_a_paulfellows_23->n38_a_paulfellows_24 n38_a_paulfellows_26 NLYR n38_a_paulfellows_25->n38_a_paulfellows_26 n38_a_paulfellows_27 ADJP n38_a_paulfellows_26->n38_a_paulfellows_27 n38_a_paulfellows_30 N n38_a_paulfellows_26->n38_a_paulfellows_30 n38_a_paulfellows_28 ADJ n38_a_paulfellows_27->n38_a_paulfellows_28 n38_a_paulfellows_28->n38_a_paulfellows_29 n38_a_paulfellows_30->n38_a_paulfellows_31 n38_a_paulfellows_32->n38_a_paulfellows_33 n38_a_paulfellows_35 NLYR n38_a_paulfellows_34->n38_a_paulfellows_35 n38_a_paulfellows_36 N n38_a_paulfellows_35->n38_a_paulfellows_36 n38_a_paulfellows_38 N n38_a_paulfellows_35->n38_a_paulfellows_38 n38_a_paulfellows_36->n38_a_paulfellows_37 n38_a_paulfellows_38->n38_a_paulfellows_39 n38_a_paulfellows_40->n38_a_paulfellows_41 n38_a_paulfellows_43 IP-MAT n38_a_paulfellows_42->n38_a_paulfellows_43 n38_a_paulfellows_44 NP-SBJ n38_a_paulfellows_43->n38_a_paulfellows_44 n38_a_paulfellows_47 HVP;_cat_Ve_ n38_a_paulfellows_43->n38_a_paulfellows_47 n38_a_paulfellows_49 IP-PPL-CAT n38_a_paulfellows_43->n38_a_paulfellows_49 n38_a_paulfellows_58 PUNC n38_a_paulfellows_43->n38_a_paulfellows_58 n38_a_paulfellows_60 PRN n38_a_paulfellows_43->n38_a_paulfellows_60 n38_a_paulfellows_45 PRO n38_a_paulfellows_44->n38_a_paulfellows_45 n38_a_paulfellows_45->n38_a_paulfellows_46 n38_a_paulfellows_47->n38_a_paulfellows_48 n38_a_paulfellows_50 ADVP-NIM n38_a_paulfellows_49->n38_a_paulfellows_50 n38_a_paulfellows_53 VVN;__ n38_a_paulfellows_49->n38_a_paulfellows_53 n38_a_paulfellows_55 NP-OB1 n38_a_paulfellows_49->n38_a_paulfellows_55 n38_a_paulfellows_51 ADV n38_a_paulfellows_50->n38_a_paulfellows_51 n38_a_paulfellows_51->n38_a_paulfellows_52 n38_a_paulfellows_53->n38_a_paulfellows_54 n38_a_paulfellows_56 D;_nphd_ n38_a_paulfellows_55->n38_a_paulfellows_56 n38_a_paulfellows_56->n38_a_paulfellows_57 n38_a_paulfellows_58->n38_a_paulfellows_59 n38_a_paulfellows_61 IP-MAT n38_a_paulfellows_60->n38_a_paulfellows_61 n38_a_paulfellows_62 NP-SBJ n38_a_paulfellows_61->n38_a_paulfellows_62 n38_a_paulfellows_65 BEP;_La_ n38_a_paulfellows_61->n38_a_paulfellows_65 n38_a_paulfellows_67 ADJP-PRD n38_a_paulfellows_61->n38_a_paulfellows_67 n38_a_paulfellows_63 PRO n38_a_paulfellows_62->n38_a_paulfellows_63 n38_a_paulfellows_63->n38_a_paulfellows_64 n38_a_paulfellows_65->n38_a_paulfellows_66 n38_a_paulfellows_68 ADVP n38_a_paulfellows_67->n38_a_paulfellows_68 n38_a_paulfellows_71 ADJ n38_a_paulfellows_67->n38_a_paulfellows_71 n38_a_paulfellows_73 PP n38_a_paulfellows_67->n38_a_paulfellows_73 n38_a_paulfellows_69 ADV n38_a_paulfellows_68->n38_a_paulfellows_69 n38_a_paulfellows_69->n38_a_paulfellows_70 n38_a_paulfellows_71->n38_a_paulfellows_72 n38_a_paulfellows_74 P-ROLE n38_a_paulfellows_73->n38_a_paulfellows_74 n38_a_paulfellows_76 NP n38_a_paulfellows_73->n38_a_paulfellows_76 n38_a_paulfellows_74->n38_a_paulfellows_75 n38_a_paulfellows_77 D n38_a_paulfellows_76->n38_a_paulfellows_77 n38_a_paulfellows_79 ADJP n38_a_paulfellows_76->n38_a_paulfellows_79 n38_a_paulfellows_82 NPR n38_a_paulfellows_76->n38_a_paulfellows_82 n38_a_paulfellows_77->n38_a_paulfellows_78 n38_a_paulfellows_80 ADJ n38_a_paulfellows_79->n38_a_paulfellows_80 n38_a_paulfellows_80->n38_a_paulfellows_81 n38_a_paulfellows_82->n38_a_paulfellows_83 n38_a_paulfellows_84->n38_a_paulfellows_85 
( (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))