45_a_freedoom
The primary instinct of all monsters is to move towards you.
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).
fof(formula,axiom,
! [R_45_6_MONSTERS] :
( monsters(R_45_6_MONSTERS)
=> ? [R_45_7_IS,R_45_1_THE_INSTINCT,R_45_2_PRIMARY,R_45_8_TO_MOVE,X_45_A_FREEDOOM_20,R_45_11_YOU] :
( primary(R_45_2_PRIMARY)
& you(R_45_11_YOU)
& is(R_45_7_IS,R_45_1_THE_INSTINCT,R_45_8_TO_MOVE)
& the_instinct(R_45_1_THE_INSTINCT)
& attrib5(R_45_1_THE_INSTINCT,R_45_2_PRIMARY)
& of(R_45_1_THE_INSTINCT,R_45_6_MONSTERS)
& to_move(R_45_8_TO_MOVE,X_45_A_FREEDOOM_20)
& towards_clr28(R_45_8_TO_MOVE,R_45_11_YOU) ) ) ).
( (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))