( (IP-IMP (ILYR (ILYR (VB;_Tn_ Boot;{boot}))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D;_nphd_ that;{that}))
                             (BEP;_Ipr_ <apos>s;{be[inside]})
                             (PP-CLR (P-ROLE inside;{inside})
                                     (NP (D the;{the})
                                         (N NAND;{nand})
                                         (N flash;{flash})
                                         (IP-REL (NP-SBJ (RPRO which;{which}))
                                                 (VBP;_Tr_ goes;{go})
                                                 (PULQ <lsquo>)
                                                 (utterance-OB1 (IP-IMP (VB;_Tn_ run;{run})
                                                                        (NP-OB1 (NPR Linux;{Linux}))))
                                                 (PURQ <rsquo>)))))))
          (PUNC .))
  (ID 24_a_paulfellows))

arc(r_0024_0002__and,r_0024_0001__Boot,conj1).
arc(r_0024_0002__and,r_0024_0004___apos_s_r_0024_0005__inside,conj2).
arc(r_0024_0004___apos_s_r_0024_0005__inside,r_0024_0003__that,arg0).
arc(r_0024_0004___apos_s_r_0024_0005__inside,r_0024_0006__the_r_0024_0007__NAND_r_0024_0008__flash,arg1).
arc(r_0024_0010__goes,r_0024_0006__the_r_0024_0007__NAND_r_0024_0008__flash,arg0).
arc(r_0024_0010__goes,z_0024_5004__utterance,arg1).
arc(r_0024_0012__run,r_0024_0013__Linux,arg1).
arc(r_0024_0012__run,z_0024_5006,arg0).
arc(z_0024_5004__utterance,r_0024_0012__run,part1).

fof(formula,axiom,
    ? [R_0024_0001__BOOT,R_0024_0003__THAT,R_0024_0006__THE_R_0024_0007__NAND_R_0024_0008__FLASH,R_0024_0004___APOS_S_R_0024_0005__INSIDE,R_0024_0002__AND,R_0024_0013__LINUX,Z_0024_5006,R_0024_0012__RUN,Z_0024_5004__UTTERANCE,R_0024_0010__GOES] :
      ( r_0024_0001__Boot(R_0024_0001__BOOT)
      & r_0024_0003__that(R_0024_0003__THAT)
      & r_0024_0006__the_r_0024_0007__NAND_r_0024_0008__flash(R_0024_0006__THE_R_0024_0007__NAND_R_0024_0008__FLASH)
      & r_0024_0013__Linux(R_0024_0013__LINUX)
      & z_0024_5006(Z_0024_5006)
      & r_0024_0010__goes(R_0024_0010__GOES)
      & has_arg1(R_0024_0010__GOES,Z_0024_5004__UTTERANCE)
      & z_0024_5004__utterance(Z_0024_5004__UTTERANCE)
      & has_part1(Z_0024_5004__UTTERANCE,R_0024_0012__RUN)
      & r_0024_0012__run(R_0024_0012__RUN)
      & has_arg0(R_0024_0012__RUN,Z_0024_5006)
      & has_arg1(R_0024_0012__RUN,R_0024_0013__LINUX)
      & has_arg0(R_0024_0010__GOES,R_0024_0006__THE_R_0024_0007__NAND_R_0024_0008__FLASH)
      & r_0024_0002__and(R_0024_0002__AND)
      & has_conj2(R_0024_0002__AND,R_0024_0004___APOS_S_R_0024_0005__INSIDE)
      & r_0024_0004___apos_s_r_0024_0005__inside(R_0024_0004___APOS_S_R_0024_0005__INSIDE)
      & has_arg1(R_0024_0004___APOS_S_R_0024_0005__INSIDE,R_0024_0006__THE_R_0024_0007__NAND_R_0024_0008__FLASH)
      & has_arg0(R_0024_0004___APOS_S_R_0024_0005__INSIDE,R_0024_0003__THAT)
      & has_conj1(R_0024_0002__AND,R_0024_0001__BOOT) ) ).