Context                Previous, Next                Top


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

%3 r_0005_0002__gives gives r_0005_0001__This This r_0005_0002__gives->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_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_0007__the_r_0005_0008__game [arg2] r_0005_0010__the_r_0005_0011__action the action r_0005_0002__gives->r_0005_0010__the_r_0005_0011__action in addition to [nim] 
arc(r_0005_0002__gives, r_0005_0001__This, arg0).
arc(r_0005_0002__gives, r_0005_0003__a_r_0005_0004__puzzle_r_0005_0005__element, arg1).
arc(r_0005_0002__gives, r_0005_0007__the_r_0005_0008__game, arg2).
arc(r_0005_0002__gives, r_0005_0010__the_r_0005_0011__action, r_0005_0009__in_addition_to_nim25).


%3 r_0005_0002__gives gives r_0005_0001__This This r_0005_0002__gives->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_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_0007__the_r_0005_0008__game [arg2] r_0005_0010__the_r_0005_0011__action the action r_0005_0002__gives->r_0005_0010__the_r_0005_0011__action in addition to [nim] 
fof(formula,axiom,
    ? [R_5_2_GIVES,R_5_1_THIS,R_5_3_A_PUZZLE_ELEMENT,R_5_7_THE_GAME,R_5_10_THE_ACTION] :
      ( this(R_5_1_THIS)
      & a_puzzle_element(R_5_3_A_PUZZLE_ELEMENT)
      & the_game(R_5_7_THE_GAME)
      & the_action(R_5_10_THE_ACTION)
      & gives(R_5_2_GIVES,R_5_1_THIS,R_5_3_A_PUZZLE_ELEMENT,R_5_7_THE_GAME)
      & in_addition_to_nim25(R_5_2_GIVES,R_5_10_THE_ACTION) ) ).


n5_a_freedoom n5_a_freedoom_4 This n5_a_freedoom_6 gives n5_a_freedoom_9 a n5_a_freedoom_11 puzzle n5_a_freedoom_13 element n5_a_freedoom_16 to n5_a_freedoom_19 the n5_a_freedoom_21 game n5_a_freedoom_24 in_addition_to n5_a_freedoom_27 the n5_a_freedoom_29 action n5_a_freedoom_31 . n5_a_freedoom_1 IP-MAT n5_a_freedoom_2 NP-SBJ n5_a_freedoom_1->n5_a_freedoom_2 n5_a_freedoom_5 VBP;_Dn.pr_ n5_a_freedoom_1->n5_a_freedoom_5 n5_a_freedoom_7 NP-OB1 n5_a_freedoom_1->n5_a_freedoom_7 n5_a_freedoom_14 PP-OB2 n5_a_freedoom_1->n5_a_freedoom_14 n5_a_freedoom_22 PP-NIM n5_a_freedoom_1->n5_a_freedoom_22 n5_a_freedoom_30 PUNC n5_a_freedoom_1->n5_a_freedoom_30 n5_a_freedoom_3 D;_nphd_ n5_a_freedoom_2->n5_a_freedoom_3 n5_a_freedoom_3->n5_a_freedoom_4 n5_a_freedoom_5->n5_a_freedoom_6 n5_a_freedoom_8 D n5_a_freedoom_7->n5_a_freedoom_8 n5_a_freedoom_10 N n5_a_freedoom_7->n5_a_freedoom_10 n5_a_freedoom_12 N n5_a_freedoom_7->n5_a_freedoom_12 n5_a_freedoom_8->n5_a_freedoom_9 n5_a_freedoom_10->n5_a_freedoom_11 n5_a_freedoom_12->n5_a_freedoom_13 n5_a_freedoom_15 P-ROLE n5_a_freedoom_14->n5_a_freedoom_15 n5_a_freedoom_17 NP n5_a_freedoom_14->n5_a_freedoom_17 n5_a_freedoom_15->n5_a_freedoom_16 n5_a_freedoom_18 D n5_a_freedoom_17->n5_a_freedoom_18 n5_a_freedoom_20 N n5_a_freedoom_17->n5_a_freedoom_20 n5_a_freedoom_18->n5_a_freedoom_19 n5_a_freedoom_20->n5_a_freedoom_21 n5_a_freedoom_23 P-ROLE n5_a_freedoom_22->n5_a_freedoom_23 n5_a_freedoom_25 NP n5_a_freedoom_22->n5_a_freedoom_25 n5_a_freedoom_23->n5_a_freedoom_24 n5_a_freedoom_26 D n5_a_freedoom_25->n5_a_freedoom_26 n5_a_freedoom_28 N n5_a_freedoom_25->n5_a_freedoom_28 n5_a_freedoom_26->n5_a_freedoom_27 n5_a_freedoom_28->n5_a_freedoom_29 n5_a_freedoom_30->n5_a_freedoom_31 
( (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))