arc(r_0053_0002__all_quant, r_0053_0003__versions, restriction).
arc(r_0053_0002__all_quant, r_0053_0008__have, scope).
arc(r_0053_0003__versions, r_0053_0005__RISC_r_0053_0006__OS, r_0053_0004__of).
arc(r_0053_0008__have, r_0053_0001__Underneath, nim4).
arc(r_0053_0008__have, r_0053_0003__versions, arg0).
arc(r_0053_0008__have, r_0053_0007__still, nim20).
arc(r_0053_0008__have, r_0053_0009__a_r_0053_0010__BBC, arg1).
arc(r_0053_0009__a_r_0053_0010__BBC, r_0053_0005__RISC_r_0053_0006__OS, r_0053_0011__inside).
arc(r_0053_0013__and, r_0053_0002__all_quant, conj1).
arc(r_0053_0013__and, r_0053_0016__if, conj2).
arc(r_0053_0016__if, r_0053_0018__turn, restriction).
arc(r_0053_0016__if, r_0053_0036__n_apos_t, scope).
arc(r_0053_0018__turn, r_0053_0017__you, arg0).
arc(r_0053_0018__turn, r_0053_0019__on, nim55).
arc(r_0053_0018__turn, r_0053_0020__one, arg1).
arc(r_0053_0018__turn, r_0053_0029__the_r_0053_0030__debug_r_0053_0031__lead, r_0053_0028__with_nim81).
arc(r_0053_0020__one, r_0053_0023__Amino_r_0053_0024__set_r_0053_0025__top_r_0053_0026__boxes, r_0053_0021__of).
arc(r_0053_0023__Amino_r_0053_0024__set_r_0053_0025__top_r_0053_0026__boxes, r_0053_0022__my, gen).
arc(r_0053_0029__the_r_0053_0030__debug_r_0053_0031__lead, r_0053_0032__in, qual88).
arc(r_0053_0035__does_r_0053_0038__look, r_0053_0005__RISC_r_0053_0006__OS, arg0).
arc(r_0053_0035__does_r_0053_0038__look, r_0053_0015__fact, r_0053_0014__in_nim43).
arc(r_0053_0035__does_r_0053_0038__look, r_0053_0037__half, nim100).
arc(r_0053_0035__does_r_0053_0038__look, r_0053_0040__that, r_0053_0039__like_clr108).
arc(r_0053_0036__n_apos_t, r_0053_0035__does_r_0053_0038__look, keep_scope).

fof(formula,axiom,
    ? [R_53_13_AND] :
      ( ! [R_53_18_TURN,R_53_17_YOU,R_53_20_ONE,R_53_23_AMINO_SET_TOP_BOXES,R_53_22_MY,R_53_19_ON,R_53_29_THE_DEBUG_LEAD,R_53_32_IN] :
          ( ( you(R_53_17_YOU)
            & my(R_53_22_MY)
            & on(R_53_19_ON)
            & in(R_53_32_IN)
            & turn(R_53_18_TURN,R_53_17_YOU,R_53_20_ONE)
            & one(R_53_20_ONE)
            & of(R_53_20_ONE,R_53_23_AMINO_SET_TOP_BOXES)
            & amino_set_top_boxes(R_53_23_AMINO_SET_TOP_BOXES)
            & gen(R_53_23_AMINO_SET_TOP_BOXES,R_53_22_MY)
            & nim55(R_53_18_TURN,R_53_19_ON)
            & with_nim81(R_53_18_TURN,R_53_29_THE_DEBUG_LEAD)
            & the_debug_lead(R_53_29_THE_DEBUG_LEAD)
            & qual88(R_53_29_THE_DEBUG_LEAD,R_53_32_IN) )
         => ~ ? [R_53_35_DOES_LOOK,R_53_5_RISC_OS,R_53_37_HALF,R_53_15_FACT,R_53_40_THAT] :
                ( rISC_OS(R_53_5_RISC_OS)
                & half(R_53_37_HALF)
                & fact(R_53_15_FACT)
                & that(R_53_40_THAT)
                & does_look(R_53_35_DOES_LOOK,R_53_5_RISC_OS)
                & nim100(R_53_35_DOES_LOOK,R_53_37_HALF)
                & in_nim43(R_53_35_DOES_LOOK,R_53_15_FACT)
                & like_clr108(R_53_35_DOES_LOOK,R_53_40_THAT) ) )
      & conj2(CONJ2)
      & ! [R_53_3_VERSIONS,R_53_5_RISC_OS] :
          ( ( rISC_OS(R_53_5_RISC_OS)
            & versions(R_53_3_VERSIONS)
            & of(R_53_3_VERSIONS,R_53_5_RISC_OS) )
         => ? [R_53_8_HAVE,R_53_9_A_BBC,R_53_7_STILL,R_53_1_UNDERNEATH] :
              ( still(R_53_7_STILL)
              & underneath(R_53_1_UNDERNEATH)
              & have(R_53_8_HAVE,R_53_3_VERSIONS,R_53_9_A_BBC)
              & a_BBC(R_53_9_A_BBC)
              & inside(R_53_9_A_BBC,R_53_5_RISC_OS)
              & nim20(R_53_8_HAVE,R_53_7_STILL)
              & nim4(R_53_8_HAVE,R_53_1_UNDERNEATH) ) )
      & conj1(CONJ1)
      & and(R_53_13_AND) ) ).

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Underneath;{underneath}))
                      (NP-SBJ (Q all;{all})
                              (NS versions;{version})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR RISC;{RISC})
                                      (NPR OS;{OS}))))
                      (ADVP-NIM (ADV still;{still}))
                      (HVP;_Tn_ have;{have})
                      (NP-OB1 (D a;{a})
                              (NPR BBC;{BBC})
                              (PP (P-ROLE inside;{inside})
                                  (NP (PRO them;{they})))))
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (N fact;{fact})))
                             (PP-SCON (P-CONN if;{if})
                                      (IP-ADV (NP-SBJ (PRO you;{you}))
                                              (VBP;__ turn;{turn})
                                              (ADVP-NIM (RP on;{on}))
                                              (NP-OB1 (NUM one;{one})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (NP-GEN (PRO;_genm_ my;{my}))
                                                              (NPR Amino;{Amino})
                                                              (N set;{set})
                                                              (N top;{top})
                                                              (NS boxes;{box}))))
                                              (PUNC ,)
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (D the;{the})
                                                          (N debug;{debug})
                                                          (N lead;{lead})
                                                          (ADVP (RP in;{in}))))))
                             (PUNC ,)
                             (NP-SBJ (PRO it;{it}))
                             (DOP does;{do})
                             (NEG;_clitic_ n<apos>t;{not})
                             (ADVP-NIM (ADV half;{half}))
                             (VB;_Ipr_ look;{look[like]})
                             (PP-CLR (P-ROLE like;{like})
                                     (NP (D;_nphd_ that;{that}))))))
          (PUNC .))
  (ID 53_a_paulfellows))