31_a_paulfellows
We got everything going, the sound, graphics, the memory management and everything running on here as the initial systems.
arc(r_0031_0002__got, r_0031_0001__We, arg0).
arc(r_0031_0002__got, r_0031_0004__going, prd).
arc(r_0031_0002__got, z_000_31_a_paulfellows_7, arg1).
arc(r_0031_0003__everything_quant, r_0031_0002__got, scope).
arc(r_0031_0003__everything_quant, z_000_31_a_paulfellows_7, restriction).
arc(r_0031_0014__and, r_0031_0006__the_r_0031_0007__sound, conj1).
arc(r_0031_0014__and, r_0031_0009__graphics, conj2).
arc(r_0031_0014__and, r_0031_0011__the_r_0031_0012__memory_r_0031_0013__management, conj3).
arc(r_0031_0014__and, z_000_31_a_paulfellows_44, conj4).
arc(r_0031_0015__everything_quant, r_0031_0014__and, scope).
arc(r_0031_0015__everything_quant, z_000_31_a_paulfellows_44, restriction).
arc(r_0031_0016__running_r_0031_0017__on, r_0031_0018__here, nim52).
arc(r_0031_0016__running_r_0031_0017__on, r_0031_0020__the_r_0031_0022__systems, r_0031_0019__as_nim58).
arc(r_0031_0016__running_r_0031_0017__on, z_000_31_a_paulfellows_44, arg0).
arc(r_0031_0020__the_r_0031_0022__systems, r_0031_0021__initial, attrib61).
arc(z_000_31_a_paulfellows_17, r_0031_0014__and, prd).
arc(z_000_31_a_paulfellows_17, z_000_31_a_paulfellows_7, arg0).
fof(formula,axiom,
! [Z_000_31_A_PAULFELLOWS_7] :
( ( z_000_31_a_paulfellows_7(Z_000_31_A_PAULFELLOWS_7)
& ! [Z_000_31_A_PAULFELLOWS_44,R_0031_0018__HERE,R_0031_0021__INITIAL,R_0031_0020__THE_R_0031_0022__SYSTEMS,R_0031_0016__RUNNING_R_0031_0017__ON] :
( ( r_0031_0018__here(R_0031_0018__HERE)
& r_0031_0021__initial(R_0031_0021__INITIAL)
& z_000_31_a_paulfellows_44(Z_000_31_A_PAULFELLOWS_44)
& r_0031_0016__running_r_0031_0017__on(R_0031_0016__RUNNING_R_0031_0017__ON)
& has_arg0(R_0031_0016__RUNNING_R_0031_0017__ON,Z_000_31_A_PAULFELLOWS_44)
& has_r_0031_0019__as_nim58(R_0031_0016__RUNNING_R_0031_0017__ON,R_0031_0020__THE_R_0031_0022__SYSTEMS)
& r_0031_0020__the_r_0031_0022__systems(R_0031_0020__THE_R_0031_0022__SYSTEMS)
& has_attrib61(R_0031_0020__THE_R_0031_0022__SYSTEMS,R_0031_0021__INITIAL)
& has_nim52(R_0031_0016__RUNNING_R_0031_0017__ON,R_0031_0018__HERE) )
=> ? [R_0031_0006__THE_R_0031_0007__SOUND,R_0031_0009__GRAPHICS,R_0031_0011__THE_R_0031_0012__MEMORY_R_0031_0013__MANAGEMENT,R_0031_0014__AND,Z_000_31_A_PAULFELLOWS_17] :
( r_0031_0006__the_r_0031_0007__sound(R_0031_0006__THE_R_0031_0007__SOUND)
& r_0031_0009__graphics(R_0031_0009__GRAPHICS)
& r_0031_0011__the_r_0031_0012__memory_r_0031_0013__management(R_0031_0011__THE_R_0031_0012__MEMORY_R_0031_0013__MANAGEMENT)
& z_000_31_a_paulfellows_17(Z_000_31_A_PAULFELLOWS_17)
& has_arg0(Z_000_31_A_PAULFELLOWS_17,Z_000_31_A_PAULFELLOWS_7)
& has_prd(Z_000_31_A_PAULFELLOWS_17,R_0031_0014__AND)
& r_0031_0014__and(R_0031_0014__AND)
& has_conj4(R_0031_0014__AND,Z_000_31_A_PAULFELLOWS_44)
& has_conj3(R_0031_0014__AND,R_0031_0011__THE_R_0031_0012__MEMORY_R_0031_0013__MANAGEMENT)
& has_conj2(R_0031_0014__AND,R_0031_0009__GRAPHICS)
& has_conj1(R_0031_0014__AND,R_0031_0006__THE_R_0031_0007__SOUND) ) ) )
=> ? [R_0031_0001__WE,R_0031_0004__GOING,R_0031_0002__GOT] :
( r_0031_0001__We(R_0031_0001__WE)
& r_0031_0004__going(R_0031_0004__GOING)
& r_0031_0002__got(R_0031_0002__GOT)
& has_arg1(R_0031_0002__GOT,Z_000_31_A_PAULFELLOWS_7)
& has_prd(R_0031_0002__GOT,R_0031_0004__GOING)
& has_arg0(R_0031_0002__GOT,R_0031_0001__WE) ) ) ).
( (IP-MAT (NP-SBJ (PRO We;{we}))
(VBD;_Cn.a_ got;{get})
(NP-OB1 (Q;_nphd_ everything;{everything})
(IP-PPL *ICH*-175))
(ADJP-PRD (ADJ going;{going}))
(PUNC ,)
(IP-PPL-EPD-175 (NP-PRD (NLYR (NLYR (D the;{the})
(N sound;{sound}))
(PUNC ,)
(CONJP (NLYR (NS graphics;{graphic})))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(N memory;{memory})
(N management;{management})))
(CONJP (CONJ and;{and})
(NLYR (Q;_nphd_ everything;{everything})
(IP-PPL (VAG;_Ip_ running;{run[on]})
(RP on;{on})
(ADVP-NIM (ADV here;{here}))
(PP-NIM (P-ROLE as;{as})
(NP (D the;{the})
(ADJP (ADJ initial;{initial}))
(NS systems;{system})))))))))
(PUNC .))
(ID 31_a_paulfellows))