Context                Previous, Next                Top


5_a_freedoom
This gives a puzzle element to the game in addition to the action.

n5_a_freedoom n5_a_freedoom__1_1_1_1 This n5_a_freedoom__1_2_1 gives n5_a_freedoom__1_3_1_1 a n5_a_freedoom__1_3_2_1 puzzle n5_a_freedoom__1_3_3_1 element n5_a_freedoom__1_4_1_1 to n5_a_freedoom__1_4_2_1_1 the n5_a_freedoom__1_4_2_2_1 game n5_a_freedoom__1_5_1_1 in_addition_to n5_a_freedoom__1_5_2_1_1 the n5_a_freedoom__1_5_2_2_1 action n5_a_freedoom__1_6_1 . n5_a_freedoom__1 IP-MAT n5_a_freedoom__1_1 NP-SBJ n5_a_freedoom__1->n5_a_freedoom__1_1 n5_a_freedoom__1_2 VBP;_Dn.pr_ n5_a_freedoom__1->n5_a_freedoom__1_2 n5_a_freedoom__1_3 NP-OB1 n5_a_freedoom__1->n5_a_freedoom__1_3 n5_a_freedoom__1_4 PP-OB2 n5_a_freedoom__1->n5_a_freedoom__1_4 n5_a_freedoom__1_5 PP-NIM n5_a_freedoom__1->n5_a_freedoom__1_5 n5_a_freedoom__1_6 PUNC n5_a_freedoom__1->n5_a_freedoom__1_6 n5_a_freedoom__1_1_1 D;_nphd_ n5_a_freedoom__1_1->n5_a_freedoom__1_1_1 n5_a_freedoom__1_1_1->n5_a_freedoom__1_1_1_1 n5_a_freedoom__1_2->n5_a_freedoom__1_2_1 n5_a_freedoom__1_3_1 D n5_a_freedoom__1_3->n5_a_freedoom__1_3_1 n5_a_freedoom__1_3_2 N n5_a_freedoom__1_3->n5_a_freedoom__1_3_2 n5_a_freedoom__1_3_3 N n5_a_freedoom__1_3->n5_a_freedoom__1_3_3 n5_a_freedoom__1_3_1->n5_a_freedoom__1_3_1_1 n5_a_freedoom__1_3_2->n5_a_freedoom__1_3_2_1 n5_a_freedoom__1_3_3->n5_a_freedoom__1_3_3_1 n5_a_freedoom__1_4_1 P-ROLE n5_a_freedoom__1_4->n5_a_freedoom__1_4_1 n5_a_freedoom__1_4_2 NP n5_a_freedoom__1_4->n5_a_freedoom__1_4_2 n5_a_freedoom__1_4_1->n5_a_freedoom__1_4_1_1 n5_a_freedoom__1_4_2_1 D n5_a_freedoom__1_4_2->n5_a_freedoom__1_4_2_1 n5_a_freedoom__1_4_2_2 N n5_a_freedoom__1_4_2->n5_a_freedoom__1_4_2_2 n5_a_freedoom__1_4_2_1->n5_a_freedoom__1_4_2_1_1 n5_a_freedoom__1_4_2_2->n5_a_freedoom__1_4_2_2_1 n5_a_freedoom__1_5_1 P-ROLE n5_a_freedoom__1_5->n5_a_freedoom__1_5_1 n5_a_freedoom__1_5_2 NP n5_a_freedoom__1_5->n5_a_freedoom__1_5_2 n5_a_freedoom__1_5_1->n5_a_freedoom__1_5_1_1 n5_a_freedoom__1_5_2_1 D n5_a_freedoom__1_5_2->n5_a_freedoom__1_5_2_1 n5_a_freedoom__1_5_2_2 N n5_a_freedoom__1_5_2->n5_a_freedoom__1_5_2_2 n5_a_freedoom__1_5_2_1->n5_a_freedoom__1_5_2_1_1 n5_a_freedoom__1_5_2_2->n5_a_freedoom__1_5_2_2_1 n5_a_freedoom__1_6->n5_a_freedoom__1_6_1 
( (IP-MAT (NP-SBJ;{INACCESSIBLE} (D;_nphd_ This;{this}))
          (VBP;_Dn.pr_ gives;{give[to]})
          (NP-OB1 (D a;{a})
                  (N puzzle;{puzzle})
                  (N element;{element}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N game;{game})))
          (PP-NIM (P-ROLE in_addition_to;{in_addition_to})
                  (NP (D the;{the})
                      (N action;{action})))
          (PUNC .))
  (ID 5_a_freedoom))


%3 r_0005_0002__gives_r_0005_0006__to gives to r_0005_0010__the_r_0005_0011__action the action r_0005_0002__gives_r_0005_0006__to->r_0005_0010__the_r_0005_0011__action in_addition_to [nim] r_0005_0007__the_r_0005_0008__game the game r_0005_0002__gives_r_0005_0006__to->r_0005_0007__the_r_0005_0008__game [arg2] r_0005_0003__a_r_0005_0004__puzzle_r_0005_0005__element a puzzle element r_0005_0002__gives_r_0005_0006__to->r_0005_0003__a_r_0005_0004__puzzle_r_0005_0005__element [arg1] r_0005_0001__This This r_0005_0002__gives_r_0005_0006__to->r_0005_0001__This [arg0] 
arc(r_0005_0002__gives_r_0005_0006__to,r_0005_0001__This,arg0).
arc(r_0005_0002__gives_r_0005_0006__to,r_0005_0003__a_r_0005_0004__puzzle_r_0005_0005__element,arg1).
arc(r_0005_0002__gives_r_0005_0006__to,r_0005_0007__the_r_0005_0008__game,arg2).
arc(r_0005_0002__gives_r_0005_0006__to,r_0005_0010__the_r_0005_0011__action,r_0005_0009__in_addition_to__nim).


%3 r_0005_0002__gives_r_0005_0006__to gives to r_0005_0001__This This r_0005_0002__gives_r_0005_0006__to->r_0005_0001__This [arg0] r_0005_0003__a_r_0005_0004__puzzle_r_0005_0005__element a puzzle element r_0005_0002__gives_r_0005_0006__to->r_0005_0003__a_r_0005_0004__puzzle_r_0005_0005__element [arg1] r_0005_0007__the_r_0005_0008__game the game r_0005_0002__gives_r_0005_0006__to->r_0005_0007__the_r_0005_0008__game [arg2] r_0005_0010__the_r_0005_0011__action the action r_0005_0002__gives_r_0005_0006__to->r_0005_0010__the_r_0005_0011__action in_addition_to [nim] 
fof(formula,axiom,
    ? [R_0005_0001__THIS,R_0005_0003__A_R_0005_0004__PUZZLE_R_0005_0005__ELEMENT,R_0005_0007__THE_R_0005_0008__GAME,R_0005_0010__THE_R_0005_0011__ACTION,R_0005_0002__GIVES_R_0005_0006__TO] :
      ( r_0005_0001__This(R_0005_0001__THIS)
      & r_0005_0003__a_r_0005_0004__puzzle_r_0005_0005__element(R_0005_0003__A_R_0005_0004__PUZZLE_R_0005_0005__ELEMENT)
      & r_0005_0007__the_r_0005_0008__game(R_0005_0007__THE_R_0005_0008__GAME)
      & r_0005_0010__the_r_0005_0011__action(R_0005_0010__THE_R_0005_0011__ACTION)
      & r_0005_0002__gives_r_0005_0006__to(R_0005_0002__GIVES_R_0005_0006__TO)
      & has_r_0005_0009__in_addition_to__nim(R_0005_0002__GIVES_R_0005_0006__TO,R_0005_0010__THE_R_0005_0011__ACTION)
      & has_arg2(R_0005_0002__GIVES_R_0005_0006__TO,R_0005_0007__THE_R_0005_0008__GAME)
      & has_arg1(R_0005_0002__GIVES_R_0005_0006__TO,R_0005_0003__A_R_0005_0004__PUZZLE_R_0005_0005__ELEMENT)
      & has_arg0(R_0005_0002__GIVES_R_0005_0006__TO,R_0005_0001__THIS) ) ).