Context                Previous, Next                Top


45_a_freedoom
The primary instinct of all monsters is to move towards you.

%3 r_0045_0001__The_r_0045_0003__instinct The instinct r_0045_0002__primary primary r_0045_0001__The_r_0045_0003__instinct->r_0045_0002__primary [attrib] r_0045_0006__monsters monsters r_0045_0001__The_r_0045_0003__instinct->r_0045_0006__monsters of r_0045_0005__all_quant all [quant] r_0045_0005__all_quant->r_0045_0001__The_r_0045_0003__instinct [scope] r_0045_0005__all_quant->r_0045_0006__monsters [restriction] r_0045_0007__is is r_0045_0007__is->r_0045_0001__The_r_0045_0003__instinct [arg0] r_0045_0008__to_r_0045_0009__move to move r_0045_0007__is->r_0045_0008__to_r_0045_0009__move [prd] r_0045_0011__you you r_0045_0008__to_r_0045_0009__move->r_0045_0011__you towards [clr] x_000_45_a_freedoom_20 __ r_0045_0008__to_r_0045_0009__move->x_000_45_a_freedoom_20 [arg0] 
arc(r_0045_0001__The_r_0045_0003__instinct, r_0045_0002__primary, attrib5).
arc(r_0045_0001__The_r_0045_0003__instinct, r_0045_0006__monsters, r_0045_0004__of).
arc(r_0045_0005__all_quant, r_0045_0001__The_r_0045_0003__instinct, scope).
arc(r_0045_0005__all_quant, r_0045_0006__monsters, restriction).
arc(r_0045_0007__is, r_0045_0001__The_r_0045_0003__instinct, arg0).
arc(r_0045_0007__is, r_0045_0008__to_r_0045_0009__move, prd).
arc(r_0045_0008__to_r_0045_0009__move, r_0045_0011__you, r_0045_0010__towards_clr28).
arc(r_0045_0008__to_r_0045_0009__move, x_000_45_a_freedoom_20, arg0).


%3 r_0045_0008__to_r_0045_0009__move to move x_000_45_a_freedoom_20 __ r_0045_0008__to_r_0045_0009__move->x_000_45_a_freedoom_20 [arg0] r_0045_0011__you you r_0045_0008__to_r_0045_0009__move->r_0045_0011__you towards [clr] r_0045_0007__is is r_0045_0007__is->r_0045_0008__to_r_0045_0009__move [prd] r_0045_0001__The_r_0045_0003__instinct The instinct r_0045_0007__is->r_0045_0001__The_r_0045_0003__instinct [arg0] r_0045_0006__monsters monsters r_0045_0001__The_r_0045_0003__instinct->r_0045_0006__monsters of r_0045_0002__primary primary r_0045_0001__The_r_0045_0003__instinct->r_0045_0002__primary [attrib] r_0045_0005__all_quant all [quant] r_0045_0005__all_quant->r_0045_0007__is [scope] r_0045_0005__all_quant->r_0045_0006__monsters [restriction] 
fof(formula,axiom,
    ! [R_0045_0006__MONSTERS] :
      ( r_0045_0006__monsters(R_0045_0006__MONSTERS)
     => ? [R_0045_0002__PRIMARY,R_0045_0001__THE_R_0045_0003__INSTINCT,R_0045_0011__YOU,X_000_45_A_FREEDOOM_20,R_0045_0008__TO_R_0045_0009__MOVE,R_0045_0007__IS] :
          ( r_0045_0002__primary(R_0045_0002__PRIMARY)
          & r_0045_0011__you(R_0045_0011__YOU)
          & x_000_45_a_freedoom_20(X_000_45_A_FREEDOOM_20)
          & r_0045_0007__is(R_0045_0007__IS)
          & has_prd(R_0045_0007__IS,R_0045_0008__TO_R_0045_0009__MOVE)
          & r_0045_0008__to_r_0045_0009__move(R_0045_0008__TO_R_0045_0009__MOVE)
          & has_arg0(R_0045_0008__TO_R_0045_0009__MOVE,X_000_45_A_FREEDOOM_20)
          & has_r_0045_0010__towards_clr28(R_0045_0008__TO_R_0045_0009__MOVE,R_0045_0011__YOU)
          & has_arg0(R_0045_0007__IS,R_0045_0001__THE_R_0045_0003__INSTINCT)
          & r_0045_0001__The_r_0045_0003__instinct(R_0045_0001__THE_R_0045_0003__INSTINCT)
          & has_r_0045_0004__of(R_0045_0001__THE_R_0045_0003__INSTINCT,R_0045_0006__MONSTERS)
          & has_attrib5(R_0045_0001__THE_R_0045_0003__INSTINCT,R_0045_0002__PRIMARY) ) ) ).


n45_a_freedoom n45_a_freedoom__1_1_1_1 The n45_a_freedoom__1_1_2_1_1 primary n45_a_freedoom__1_1_3_1 instinct n45_a_freedoom__1_1_4_1_1 of n45_a_freedoom__1_1_4_2_1_1 all n45_a_freedoom__1_1_4_2_2_1 monsters n45_a_freedoom__1_2_1 is n45_a_freedoom__1_3_1_1 to n45_a_freedoom__1_3_2_1 move n45_a_freedoom__1_3_3_1_1 towards n45_a_freedoom__1_3_3_2_1_1 you n45_a_freedoom__1_4_1 . n45_a_freedoom__1 IP-MAT n45_a_freedoom__1_1 NP-SBJ n45_a_freedoom__1->n45_a_freedoom__1_1 n45_a_freedoom__1_2 BEP;_equ_Vt_ n45_a_freedoom__1->n45_a_freedoom__1_2 n45_a_freedoom__1_3 IP-INF-PRD n45_a_freedoom__1->n45_a_freedoom__1_3 n45_a_freedoom__1_4 PUNC n45_a_freedoom__1->n45_a_freedoom__1_4 n45_a_freedoom__1_1_1 D n45_a_freedoom__1_1->n45_a_freedoom__1_1_1 n45_a_freedoom__1_1_2 ADJP n45_a_freedoom__1_1->n45_a_freedoom__1_1_2 n45_a_freedoom__1_1_3 N n45_a_freedoom__1_1->n45_a_freedoom__1_1_3 n45_a_freedoom__1_1_4 PP n45_a_freedoom__1_1->n45_a_freedoom__1_1_4 n45_a_freedoom__1_1_1->n45_a_freedoom__1_1_1_1 n45_a_freedoom__1_1_2_1 ADJ n45_a_freedoom__1_1_2->n45_a_freedoom__1_1_2_1 n45_a_freedoom__1_1_2_1->n45_a_freedoom__1_1_2_1_1 n45_a_freedoom__1_1_3->n45_a_freedoom__1_1_3_1 n45_a_freedoom__1_1_4_1 P-ROLE n45_a_freedoom__1_1_4->n45_a_freedoom__1_1_4_1 n45_a_freedoom__1_1_4_2 NP n45_a_freedoom__1_1_4->n45_a_freedoom__1_1_4_2 n45_a_freedoom__1_1_4_1->n45_a_freedoom__1_1_4_1_1 n45_a_freedoom__1_1_4_2_1 Q n45_a_freedoom__1_1_4_2->n45_a_freedoom__1_1_4_2_1 n45_a_freedoom__1_1_4_2_2 NS n45_a_freedoom__1_1_4_2->n45_a_freedoom__1_1_4_2_2 n45_a_freedoom__1_1_4_2_1->n45_a_freedoom__1_1_4_2_1_1 n45_a_freedoom__1_1_4_2_2->n45_a_freedoom__1_1_4_2_2_1 n45_a_freedoom__1_2->n45_a_freedoom__1_2_1 n45_a_freedoom__1_3_1 TO n45_a_freedoom__1_3->n45_a_freedoom__1_3_1 n45_a_freedoom__1_3_2 VB;_Ipr_ n45_a_freedoom__1_3->n45_a_freedoom__1_3_2 n45_a_freedoom__1_3_3 PP-CLR n45_a_freedoom__1_3->n45_a_freedoom__1_3_3 n45_a_freedoom__1_3_1->n45_a_freedoom__1_3_1_1 n45_a_freedoom__1_3_2->n45_a_freedoom__1_3_2_1 n45_a_freedoom__1_3_3_1 P-ROLE n45_a_freedoom__1_3_3->n45_a_freedoom__1_3_3_1 n45_a_freedoom__1_3_3_2 NP n45_a_freedoom__1_3_3->n45_a_freedoom__1_3_3_2 n45_a_freedoom__1_3_3_1->n45_a_freedoom__1_3_3_1_1 n45_a_freedoom__1_3_3_2_1 PRO n45_a_freedoom__1_3_3_2->n45_a_freedoom__1_3_3_2_1 n45_a_freedoom__1_3_3_2_1->n45_a_freedoom__1_3_3_2_1_1 n45_a_freedoom__1_4->n45_a_freedoom__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ primary;{primary}))
                  (N instinct;{instinct})
                  (PP (P-ROLE of;{of})
                      (NP (Q all;{all})
                          (NS monsters;{monster}))))
          (BEP;_equ_Vt_ is;{be})
          (IP-INF-PRD (TO to;{to})
                      (VB;_Ipr_ move;{move[towards]})
                      (PP-CLR (P-ROLE towards;{towards})
                              (NP (PRO you;{you}))))
          (PUNC .))
  (ID 45_a_freedoom))