TSPC 10_a_paulfellows

10_a_paulfellows
That brought it out of reset, powered it up, organised all the memory and so forth.

( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
          (ILYR (ILYR (VBD;_Tn.pr_ brought;{bring[out_of]})
                      (NP-OB1 (PRO it;{it}))
                      (PP-CLR (P-ROLE out_of;{out_of})
                              (NP (N reset;{reset}))))
                (PUNC ,)
                (CONJP (ILYR (VBD;_phr_Vn<=>p_ powered;{power[up]})
                             (NP-OB1 (PRO it;{it}))
                             (RP up;{up})))
                (PUNC ,)
                (CONJP (ILYR (VBD;_Tn_ organised;{organise})
                             (NP-OB1 (Q;_nphd_ all;{all})
                                     (NLYR (D the;{the})
                                           (N memory;{memory})))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV so_forth;{so_forth})))))
          (PUNC .))
  (ID 10_a_paulfellows))

arc(r_0010_0002__brought_r_0010_0004__out_of,r_0010_0001__That,arg0).
arc(r_0010_0002__brought_r_0010_0004__out_of,r_0010_0003__it,arg1).
arc(r_0010_0002__brought_r_0010_0004__out_of,r_0010_0005__reset,arg2).
arc(r_0010_0007__powered_r_0010_0009__up,r_0010_0001__That,arg0).
arc(r_0010_0007__powered_r_0010_0009__up,r_0010_0008__it,arg1).
arc(r_0010_0011__organised,r_0010_0001__That,arg0).
arc(r_0010_0011__organised,z_0010_5007,arg1).
arc(r_0010_0012__all__quant,r_0010_0011__organised,scope).
arc(r_0010_0012__all__quant,z_0010_5007,restriction).
arc(r_0010_0015__and,r_0010_0002__brought_r_0010_0004__out_of,conj1).
arc(r_0010_0015__and,r_0010_0007__powered_r_0010_0009__up,conj2).
arc(r_0010_0015__and,r_0010_0012__all__quant,conj3).
arc(r_0010_0015__and,z_0010_5010,conj4).
arc(z_0010_5007,r_0010_0013__the_r_0010_0014__memory,nim).
arc(z_0010_5010,r_0010_0001__That,arg0).
arc(z_0010_5010,r_0010_0016__so_forth,nim).

fof(formula,axiom,
    ? [R_0010_0001__THAT,R_0010_0003__IT,R_0010_0005__RESET,R_0010_0002__BROUGHT_R_0010_0004__OUT_OF,R_0010_0008__IT,R_0010_0007__POWERED_R_0010_0009__UP,R_0010_0016__SO_FORTH,Z_0010_5010,R_0010_0015__AND] :
      ( r_0010_0001__That(R_0010_0001__THAT)
      & r_0010_0003__it(R_0010_0003__IT)
      & r_0010_0005__reset(R_0010_0005__RESET)
      & r_0010_0008__it(R_0010_0008__IT)
      & r_0010_0016__so_forth(R_0010_0016__SO_FORTH)
      & r_0010_0015__and(R_0010_0015__AND)
      & has_conj4(R_0010_0015__AND,Z_0010_5010)
      & z_0010_5010(Z_0010_5010)
      & has_nim(Z_0010_5010,R_0010_0016__SO_FORTH)
      & has_arg0(Z_0010_5010,R_0010_0001__THAT)
      & ! [Z_0010_5007,R_0010_0013__THE_R_0010_0014__MEMORY] :
          ( ( r_0010_0013__the_r_0010_0014__memory(R_0010_0013__THE_R_0010_0014__MEMORY)
            & z_0010_5007(Z_0010_5007)
            & has_nim(Z_0010_5007,R_0010_0013__THE_R_0010_0014__MEMORY) )
         => ? [R_0010_0011__ORGANISED] :
              ( r_0010_0011__organised(R_0010_0011__ORGANISED)
              & has_arg1(R_0010_0011__ORGANISED,Z_0010_5007)
              & has_arg0(R_0010_0011__ORGANISED,R_0010_0001__THAT) ) )
      & has_conj2(R_0010_0015__AND,R_0010_0007__POWERED_R_0010_0009__UP)
      & r_0010_0007__powered_r_0010_0009__up(R_0010_0007__POWERED_R_0010_0009__UP)
      & has_arg1(R_0010_0007__POWERED_R_0010_0009__UP,R_0010_0008__IT)
      & has_arg0(R_0010_0007__POWERED_R_0010_0009__UP,R_0010_0001__THAT)
      & has_conj1(R_0010_0015__AND,R_0010_0002__BROUGHT_R_0010_0004__OUT_OF)
      & r_0010_0002__brought_r_0010_0004__out_of(R_0010_0002__BROUGHT_R_0010_0004__OUT_OF)
      & has_arg2(R_0010_0002__BROUGHT_R_0010_0004__OUT_OF,R_0010_0005__RESET)
      & has_arg1(R_0010_0002__BROUGHT_R_0010_0004__OUT_OF,R_0010_0003__IT)
      & has_arg0(R_0010_0002__BROUGHT_R_0010_0004__OUT_OF,R_0010_0001__THAT) ) ).