Context                Previous, Next                Top


1_a_freedoom
Freedoom is a real-time first-person shooter (FPS).

%3 r_0001_0002__is is r_0001_0001__Freedoom Freedoom r_0001_0002__is->r_0001_0001__Freedoom [arg0] r_0001_0003__a_r_0001_0006__shooter a shooter r_0001_0002__is->r_0001_0003__a_r_0001_0006__shooter [prd] r_0001_0004__real__hyphen__time real-time r_0001_0003__a_r_0001_0006__shooter->r_0001_0004__real__hyphen__time [attrib] r_0001_0005__first__hyphen__person first-person r_0001_0003__a_r_0001_0006__shooter->r_0001_0005__first__hyphen__person [attrib] z_000_1_a_freedoom_20 z_000_1_a_freedoom_20->r_0001_0003__a_r_0001_0006__shooter [arg0] r_0001_0008__FPS FPS z_000_1_a_freedoom_20->r_0001_0008__FPS [prd] 
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, attrib10).
arc(r_0001_0003__a_r_0001_0006__shooter, r_0001_0005__first__hyphen__person, attrib13).
arc(z_000_1_a_freedoom_20, r_0001_0003__a_r_0001_0006__shooter, arg0).
arc(z_000_1_a_freedoom_20, r_0001_0008__FPS, prd).


%3 z_000_1_a_freedoom_20 r_0001_0008__FPS FPS z_000_1_a_freedoom_20->r_0001_0008__FPS [prd] r_0001_0003__a_r_0001_0006__shooter a shooter z_000_1_a_freedoom_20->r_0001_0003__a_r_0001_0006__shooter [arg0] r_0001_0005__first__hyphen__person first-person r_0001_0003__a_r_0001_0006__shooter->r_0001_0005__first__hyphen__person [attrib] r_0001_0004__real__hyphen__time real-time r_0001_0003__a_r_0001_0006__shooter->r_0001_0004__real__hyphen__time [attrib] r_0001_0002__is is r_0001_0002__is->r_0001_0003__a_r_0001_0006__shooter [prd] r_0001_0001__Freedoom Freedoom r_0001_0002__is->r_0001_0001__Freedoom [arg0] 
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_000_1_A_FREEDOOM_20] :
      ( 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_000_1_a_freedoom_20(Z_000_1_A_FREEDOOM_20)
      & has_prd(Z_000_1_A_FREEDOOM_20,R_0001_0008__FPS)
      & has_arg0(Z_000_1_A_FREEDOOM_20,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_attrib13(R_0001_0003__A_R_0001_0006__SHOOTER,R_0001_0005__FIRST__HYPHEN__PERSON)
      & has_attrib10(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) ) ).


n1_a_freedoom n1_a_freedoom__1_1_1_1 Freedoom n1_a_freedoom__1_2_1 is n1_a_freedoom__1_3_1_1 a n1_a_freedoom__1_3_2_1_1 real-time n1_a_freedoom__1_3_3_1_1 first-person n1_a_freedoom__1_3_4_1 shooter n1_a_freedoom__1_3_5_1 -LRB- n1_a_freedoom__1_3_6_1_1_1 FPS n1_a_freedoom__1_3_7_1 -RRB- n1_a_freedoom__1_4_1 . n1_a_freedoom__1 IP-MAT n1_a_freedoom__1_1 NP-SBJ n1_a_freedoom__1->n1_a_freedoom__1_1 n1_a_freedoom__1_2 BEP;_Ln_ n1_a_freedoom__1->n1_a_freedoom__1_2 n1_a_freedoom__1_3 NP-PRD n1_a_freedoom__1->n1_a_freedoom__1_3 n1_a_freedoom__1_4 PUNC n1_a_freedoom__1->n1_a_freedoom__1_4 n1_a_freedoom__1_1_1 NPR n1_a_freedoom__1_1->n1_a_freedoom__1_1_1 n1_a_freedoom__1_1_1->n1_a_freedoom__1_1_1_1 n1_a_freedoom__1_2->n1_a_freedoom__1_2_1 n1_a_freedoom__1_3_1 D n1_a_freedoom__1_3->n1_a_freedoom__1_3_1 n1_a_freedoom__1_3_2 ADJP n1_a_freedoom__1_3->n1_a_freedoom__1_3_2 n1_a_freedoom__1_3_3 ADJP n1_a_freedoom__1_3->n1_a_freedoom__1_3_3 n1_a_freedoom__1_3_4 N n1_a_freedoom__1_3->n1_a_freedoom__1_3_4 n1_a_freedoom__1_3_5 PULB n1_a_freedoom__1_3->n1_a_freedoom__1_3_5 n1_a_freedoom__1_3_6 IP-PPL n1_a_freedoom__1_3->n1_a_freedoom__1_3_6 n1_a_freedoom__1_3_7 PURB n1_a_freedoom__1_3->n1_a_freedoom__1_3_7 n1_a_freedoom__1_3_1->n1_a_freedoom__1_3_1_1 n1_a_freedoom__1_3_2_1 ADJ n1_a_freedoom__1_3_2->n1_a_freedoom__1_3_2_1 n1_a_freedoom__1_3_2_1->n1_a_freedoom__1_3_2_1_1 n1_a_freedoom__1_3_3_1 ADJ n1_a_freedoom__1_3_3->n1_a_freedoom__1_3_3_1 n1_a_freedoom__1_3_3_1->n1_a_freedoom__1_3_3_1_1 n1_a_freedoom__1_3_4->n1_a_freedoom__1_3_4_1 n1_a_freedoom__1_3_5->n1_a_freedoom__1_3_5_1 n1_a_freedoom__1_3_6_1 NP-PRD n1_a_freedoom__1_3_6->n1_a_freedoom__1_3_6_1 n1_a_freedoom__1_3_6_1_1 NPR n1_a_freedoom__1_3_6_1->n1_a_freedoom__1_3_6_1_1 n1_a_freedoom__1_3_6_1_1->n1_a_freedoom__1_3_6_1_1_1 n1_a_freedoom__1_3_7->n1_a_freedoom__1_3_7_1 n1_a_freedoom__1_4->n1_a_freedoom__1_4_1 
( (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-)
                  (IP-PPL (NP-PRD (NPR FPS;{FPS})))
                  (PURB -RRB-))
          (PUNC .))
  (ID 1_a_freedoom))