1_a_freedoom
Freedoom is a real-time first-person shooter (FPS).
( (IP-MAT (NP-SBJ (NPR Freedoom;{Freedoom}))
(BEP;_Ln_ is;{be})
(NP-PRD (D a;{a})
(ADJP (ADJ real_<hyphen>_time;{real_time}))
(ADJP (ADJ first_<hyphen>_person;{first_person}))
(N shooter;{shooter})
(PULB -LRB-)
(PRN (NP (NPR FPS;{FPS})))
(PURB -RRB-))
(PUNC .))
(ID 1_a_freedoom))
arc(r_0001_0002__is,r_0001_0001__Freedoom,arg0).
arc(r_0001_0002__is,r_0001_0003__a_r_0001_0006__shooter,prd).
arc(r_0001_0003__a_r_0001_0006__shooter,r_0001_0004__real__hyphen__time,attrib).
arc(r_0001_0003__a_r_0001_0006__shooter,r_0001_0005__first__hyphen__person,attrib).
arc(z_0001_5004,r_0001_0003__a_r_0001_0006__shooter,arg0).
arc(z_0001_5004,r_0001_0008__FPS,prd).
fof(formula,axiom,
? [R_0001_0001__FREEDOOM,R_0001_0004__REAL__HYPHEN__TIME,R_0001_0005__FIRST__HYPHEN__PERSON,R_0001_0003__A_R_0001_0006__SHOOTER,R_0001_0002__IS,R_0001_0008__FPS,Z_0001_5004] :
( r_0001_0001__Freedoom(R_0001_0001__FREEDOOM)
& r_0001_0004__real__hyphen__time(R_0001_0004__REAL__HYPHEN__TIME)
& r_0001_0005__first__hyphen__person(R_0001_0005__FIRST__HYPHEN__PERSON)
& r_0001_0008__FPS(R_0001_0008__FPS)
& z_0001_5004(Z_0001_5004)
& has_prd(Z_0001_5004,R_0001_0008__FPS)
& has_arg0(Z_0001_5004,R_0001_0003__A_R_0001_0006__SHOOTER)
& r_0001_0003__a_r_0001_0006__shooter(R_0001_0003__A_R_0001_0006__SHOOTER)
& has_attrib(R_0001_0003__A_R_0001_0006__SHOOTER,R_0001_0005__FIRST__HYPHEN__PERSON)
& has_attrib(R_0001_0003__A_R_0001_0006__SHOOTER,R_0001_0004__REAL__HYPHEN__TIME)
& r_0001_0002__is(R_0001_0002__IS)
& has_prd(R_0001_0002__IS,R_0001_0003__A_R_0001_0006__SHOOTER)
& has_arg0(R_0001_0002__IS,R_0001_0001__FREEDOOM) ) ).