31_a_paulfellows
We got everything going, the sound, graphics, the memory management and everything running on here as the initial systems.
( (IP-MAT (NP-SBJ (PRO We;{we}))
(VBD;_Cn.a_ got;{get})
(NP-OB1 (Q;_nphd_ everything;{everything})
(PRN *ICH*-175))
(ADJP-PRD (ADJ going;{going}))
(PUNC ,)
(PRN-EPD-175 (NP (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))
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_0031_5016,arg1).
arc(r_0031_0003__everything__quant,r_0031_0002__got,scope).
arc(r_0031_0003__everything__quant,z_0031_5016,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_0031_5013,conj4).
arc(r_0031_0015__everything__quant,r_0031_0014__and,scope).
arc(r_0031_0015__everything__quant,z_0031_5013,restriction).
arc(r_0031_0016__running_r_0031_0017__on,r_0031_0018__here,nim).
arc(r_0031_0016__running_r_0031_0017__on,r_0031_0020__the_r_0031_0022__systems,r_0031_0019__as__nim).
arc(r_0031_0016__running_r_0031_0017__on,z_0031_5013,inv_arg0).
arc(r_0031_0020__the_r_0031_0022__systems,r_0031_0021__initial,attrib).
arc(z_0031_5014,r_0031_0014__and,prd).
arc(z_0031_5014,z_0031_5016,arg0).
fof(formula,axiom,
! [Z_0031_5016] :
( ( z_0031_5016(Z_0031_5016)
& ! [Z_0031_5013,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_0031_5013(Z_0031_5013)
& has_inv_arg0(Z_0031_5013,R_0031_0016__RUNNING_R_0031_0017__ON)
& r_0031_0016__running_r_0031_0017__on(R_0031_0016__RUNNING_R_0031_0017__ON)
& has_r_0031_0019__as__nim(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_attrib(R_0031_0020__THE_R_0031_0022__SYSTEMS,R_0031_0021__INITIAL)
& has_nim(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_0031_5014] :
( 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_0031_5014(Z_0031_5014)
& has_arg0(Z_0031_5014,Z_0031_5016)
& has_prd(Z_0031_5014,R_0031_0014__AND)
& r_0031_0014__and(R_0031_0014__AND)
& has_conj4(R_0031_0014__AND,Z_0031_5013)
& 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_0031_5016)
& has_prd(R_0031_0002__GOT,R_0031_0004__GOING)
& has_arg0(R_0031_0002__GOT,R_0031_0001__WE) ) ) ).