( (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))

arc(r_0045_0001__The_r_0045_0003__instinct,r_0045_0002__primary,attrib).
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_0009__move_r_0045_0010__towards,prd).
arc(r_0045_0009__move_r_0045_0010__towards,r_0045_0011__you,arg1).
arc(r_0045_0009__move_r_0045_0010__towards,z_0045_5007,arg0).

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,Z_0045_5007,R_0045_0009__MOVE_R_0045_0010__TOWARDS,R_0045_0007__IS] :
          ( r_0045_0002__primary(R_0045_0002__PRIMARY)
          & r_0045_0011__you(R_0045_0011__YOU)
          & z_0045_5007(Z_0045_5007)
          & r_0045_0007__is(R_0045_0007__IS)
          & has_prd(R_0045_0007__IS,R_0045_0009__MOVE_R_0045_0010__TOWARDS)
          & r_0045_0009__move_r_0045_0010__towards(R_0045_0009__MOVE_R_0045_0010__TOWARDS)
          & has_arg0(R_0045_0009__MOVE_R_0045_0010__TOWARDS,Z_0045_5007)
          & has_arg1(R_0045_0009__MOVE_R_0045_0010__TOWARDS,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_attrib(R_0045_0001__THE_R_0045_0003__INSTINCT,R_0045_0002__PRIMARY) ) ) ).