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.
( (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))
arc(r_0038_0003___apos_ve,r_0038_0001__Inside,nim).
arc(r_0038_0003___apos_ve,r_0038_0004__got,scope).
arc(r_0038_0003___apos_ve,r_0038_0016___apos_ve,prn).
arc(r_0038_0004__got,r_0038_0002__you,arg0).
arc(r_0038_0004__got,r_0038_0005__the_r_0038_0006__floppy_r_0038_0007__drive_r_0038_0009__hard_r_0038_0010__drive_r_0038_0012__podule_r_0038_0013__bus,arg1).
arc(r_0038_0016___apos_ve,r_0038_0018__seen,scope).
arc(r_0038_0016___apos_ve,r_0038_0022___apos_s,prn).
arc(r_0038_0018__seen,r_0038_0002__you,arg0).
arc(r_0038_0018__seen,r_0038_0017__all,nim).
arc(r_0038_0018__seen,r_0038_0019__this,arg1).
arc(r_0038_0022___apos_s,r_0038_0021__it,arg0).
arc(r_0038_0022___apos_s,r_0038_0024__similar,prd).
arc(r_0038_0024__similar,r_0038_0023__very,qual).
arc(r_0038_0024__similar,r_0038_0026__any_r_0038_0028__Archimedes,r_0038_0025__to).
arc(r_0038_0026__any_r_0038_0028__Archimedes,r_0038_0027__other,attrib).
fof(formula,axiom,
? [R_0038_0001__INSIDE,R_0038_0021__IT,R_0038_0023__VERY,R_0038_0027__OTHER,R_0038_0026__ANY_R_0038_0028__ARCHIMEDES,R_0038_0024__SIMILAR,R_0038_0022___APOS_S,R_0038_0002__YOU,R_0038_0017__ALL,R_0038_0019__THIS,R_0038_0016___APOS_VE_R_0038_0018__SEEN,R_0038_0005__THE_R_0038_0006__FLOPPY_R_0038_0007__DRIVE_R_0038_0009__HARD_R_0038_0010__DRIVE_R_0038_0012__PODULE_R_0038_0013__BUS,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_0005__the_r_0038_0006__floppy_r_0038_0007__drive_r_0038_0009__hard_r_0038_0010__drive_r_0038_0012__podule_r_0038_0013__bus(R_0038_0005__THE_R_0038_0006__FLOPPY_R_0038_0007__DRIVE_R_0038_0009__HARD_R_0038_0010__DRIVE_R_0038_0012__PODULE_R_0038_0013__BUS)
& r_0038_0017__all(R_0038_0017__ALL)
& r_0038_0019__this(R_0038_0019__THIS)
& r_0038_0021__it(R_0038_0021__IT)
& r_0038_0023__very(R_0038_0023__VERY)
& r_0038_0027__other(R_0038_0027__OTHER)
& 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,R_0038_0005__THE_R_0038_0006__FLOPPY_R_0038_0007__DRIVE_R_0038_0009__HARD_R_0038_0010__DRIVE_R_0038_0012__PODULE_R_0038_0013__BUS)
& has_arg0(R_0038_0003___APOS_VE_R_0038_0004__GOT,R_0038_0002__YOU)
& has_prn(R_0038_0003___APOS_VE_R_0038_0004__GOT,R_0038_0016___APOS_VE_R_0038_0018__SEEN)
& r_0038_0016___apos_ve_r_0038_0018__seen(R_0038_0016___APOS_VE_R_0038_0018__SEEN)
& has_arg1(R_0038_0016___APOS_VE_R_0038_0018__SEEN,R_0038_0019__THIS)
& has_nim(R_0038_0016___APOS_VE_R_0038_0018__SEEN,R_0038_0017__ALL)
& has_arg0(R_0038_0016___APOS_VE_R_0038_0018__SEEN,R_0038_0002__YOU)
& has_prn(R_0038_0016___APOS_VE_R_0038_0018__SEEN,R_0038_0022___APOS_S)
& r_0038_0022___apos_s(R_0038_0022___APOS_S)
& has_prd(R_0038_0022___APOS_S,R_0038_0024__SIMILAR)
& r_0038_0024__similar(R_0038_0024__SIMILAR)
& has_r_0038_0025__to(R_0038_0024__SIMILAR,R_0038_0026__ANY_R_0038_0028__ARCHIMEDES)
& r_0038_0026__any_r_0038_0028__Archimedes(R_0038_0026__ANY_R_0038_0028__ARCHIMEDES)
& has_attrib(R_0038_0026__ANY_R_0038_0028__ARCHIMEDES,R_0038_0027__OTHER)
& has_qual(R_0038_0024__SIMILAR,R_0038_0023__VERY)
& has_arg0(R_0038_0022___APOS_S,R_0038_0021__IT)
& has_nim(R_0038_0003___APOS_VE_R_0038_0004__GOT,R_0038_0001__INSIDE) ) ).