Context                Previous, Next                Top


32_a_freedoom
Monsters only attack when you're in their line of sight.

%3 r_0032_0003__attack attack r_0032_0001__Monsters Monsters r_0032_0003__attack->r_0032_0001__Monsters [arg0] r_0032_0002__only only r_0032_0003__attack->r_0032_0002__only [nim] r_0032_0004__when when r_0032_0004__when->r_0032_0003__attack [scope] r_0032_0006___apos_re 're r_0032_0004__when->r_0032_0006___apos_re [restriction] r_0032_0005__you you r_0032_0006___apos_re->r_0032_0005__you [arg0] r_0032_0009__line line r_0032_0006___apos_re->r_0032_0009__line in [clr] r_0032_0009__line->r_0032_0001__Monsters [gen] r_0032_0011__sight sight r_0032_0009__line->r_0032_0011__sight of 
arc(r_0032_0003__attack, r_0032_0001__Monsters, arg0).
arc(r_0032_0003__attack, r_0032_0002__only, nim5).
arc(r_0032_0004__when, r_0032_0003__attack, scope).
arc(r_0032_0004__when, r_0032_0006___apos_re, restriction).
arc(r_0032_0006___apos_re, r_0032_0005__you, arg0).
arc(r_0032_0006___apos_re, r_0032_0009__line, r_0032_0007__in_clr22).
arc(r_0032_0009__line, r_0032_0001__Monsters, gen).
arc(r_0032_0009__line, r_0032_0011__sight, r_0032_0010__of).


%3 r_0032_0009__line line r_0032_0011__sight sight r_0032_0009__line->r_0032_0011__sight of r_0032_0001__Monsters Monsters r_0032_0009__line->r_0032_0001__Monsters [gen] r_0032_0006___apos_re 're r_0032_0006___apos_re->r_0032_0009__line in [clr] r_0032_0005__you you r_0032_0006___apos_re->r_0032_0005__you [arg0] r_0032_0004__when when r_0032_0004__when->r_0032_0006___apos_re [restriction] r_0032_0003__attack attack r_0032_0004__when->r_0032_0003__attack [scope] r_0032_0003__attack->r_0032_0001__Monsters [arg0] r_0032_0002__only only r_0032_0003__attack->r_0032_0002__only [nim] 
fof(formula,axiom,
    ! [R_32_6__APOS_RE,R_32_5_YOU,R_32_9_LINE,R_32_1_MONSTERS,R_32_11_SIGHT] :
      ( ( you(R_32_5_YOU)
        & monsters(R_32_1_MONSTERS)
        & sight(R_32_11_SIGHT)
        & _apos_re(R_32_6__APOS_RE,R_32_5_YOU)
        & in_clr22(R_32_6__APOS_RE,R_32_9_LINE)
        & line(R_32_9_LINE)
        & gen(R_32_9_LINE,R_32_1_MONSTERS)
        & of(R_32_9_LINE,R_32_11_SIGHT) )
     => ? [R_32_3_ATTACK,R_32_2_ONLY] :
          ( only(R_32_2_ONLY)
          & attack(R_32_3_ATTACK,R_32_1_MONSTERS)
          & nim5(R_32_3_ATTACK,R_32_2_ONLY) ) ) ).


n32_a_freedoom n32_a_freedoom__1_1_1_1 Monsters n32_a_freedoom__1_2_1_1 only n32_a_freedoom__1_3_1 attack n32_a_freedoom__1_4_1_1 when n32_a_freedoom__1_4_2_1_1_1 you n32_a_freedoom__1_4_2_2_1 're n32_a_freedoom__1_4_2_3_1_1 in n32_a_freedoom__1_4_2_3_2_1_1_1 their n32_a_freedoom__1_4_2_3_2_2_1 line n32_a_freedoom__1_4_2_3_2_3_1_1 of n32_a_freedoom__1_4_2_3_2_3_2_1_1 sight n32_a_freedoom__1_5_1 . n32_a_freedoom__1 IP-MAT n32_a_freedoom__1_1 NP-SBJ n32_a_freedoom__1->n32_a_freedoom__1_1 n32_a_freedoom__1_2 ADVP-NIM n32_a_freedoom__1->n32_a_freedoom__1_2 n32_a_freedoom__1_3 VBP;_I_ n32_a_freedoom__1->n32_a_freedoom__1_3 n32_a_freedoom__1_4 PP-SCON n32_a_freedoom__1->n32_a_freedoom__1_4 n32_a_freedoom__1_5 PUNC n32_a_freedoom__1->n32_a_freedoom__1_5 n32_a_freedoom__1_1_1 NS n32_a_freedoom__1_1->n32_a_freedoom__1_1_1 n32_a_freedoom__1_1_1->n32_a_freedoom__1_1_1_1 n32_a_freedoom__1_2_1 ADV n32_a_freedoom__1_2->n32_a_freedoom__1_2_1 n32_a_freedoom__1_2_1->n32_a_freedoom__1_2_1_1 n32_a_freedoom__1_3->n32_a_freedoom__1_3_1 n32_a_freedoom__1_4_1 P-CONN n32_a_freedoom__1_4->n32_a_freedoom__1_4_1 n32_a_freedoom__1_4_2 IP-ADV n32_a_freedoom__1_4->n32_a_freedoom__1_4_2 n32_a_freedoom__1_4_1->n32_a_freedoom__1_4_1_1 n32_a_freedoom__1_4_2_1 NP-SBJ n32_a_freedoom__1_4_2->n32_a_freedoom__1_4_2_1 n32_a_freedoom__1_4_2_2 BEP;_Ipr_ n32_a_freedoom__1_4_2->n32_a_freedoom__1_4_2_2 n32_a_freedoom__1_4_2_3 PP-CLR n32_a_freedoom__1_4_2->n32_a_freedoom__1_4_2_3 n32_a_freedoom__1_4_2_1_1 PRO n32_a_freedoom__1_4_2_1->n32_a_freedoom__1_4_2_1_1 n32_a_freedoom__1_4_2_1_1->n32_a_freedoom__1_4_2_1_1_1 n32_a_freedoom__1_4_2_2->n32_a_freedoom__1_4_2_2_1 n32_a_freedoom__1_4_2_3_1 P-ROLE n32_a_freedoom__1_4_2_3->n32_a_freedoom__1_4_2_3_1 n32_a_freedoom__1_4_2_3_2 NP n32_a_freedoom__1_4_2_3->n32_a_freedoom__1_4_2_3_2 n32_a_freedoom__1_4_2_3_1->n32_a_freedoom__1_4_2_3_1_1 n32_a_freedoom__1_4_2_3_2_1 NP-GEN n32_a_freedoom__1_4_2_3_2->n32_a_freedoom__1_4_2_3_2_1 n32_a_freedoom__1_4_2_3_2_2 N n32_a_freedoom__1_4_2_3_2->n32_a_freedoom__1_4_2_3_2_2 n32_a_freedoom__1_4_2_3_2_3 PP n32_a_freedoom__1_4_2_3_2->n32_a_freedoom__1_4_2_3_2_3 n32_a_freedoom__1_4_2_3_2_1_1 PRO;_genm_ n32_a_freedoom__1_4_2_3_2_1->n32_a_freedoom__1_4_2_3_2_1_1 n32_a_freedoom__1_4_2_3_2_1_1->n32_a_freedoom__1_4_2_3_2_1_1_1 n32_a_freedoom__1_4_2_3_2_2->n32_a_freedoom__1_4_2_3_2_2_1 n32_a_freedoom__1_4_2_3_2_3_1 P-ROLE n32_a_freedoom__1_4_2_3_2_3->n32_a_freedoom__1_4_2_3_2_3_1 n32_a_freedoom__1_4_2_3_2_3_2 NP n32_a_freedoom__1_4_2_3_2_3->n32_a_freedoom__1_4_2_3_2_3_2 n32_a_freedoom__1_4_2_3_2_3_1->n32_a_freedoom__1_4_2_3_2_3_1_1 n32_a_freedoom__1_4_2_3_2_3_2_1 N n32_a_freedoom__1_4_2_3_2_3_2->n32_a_freedoom__1_4_2_3_2_3_2_1 n32_a_freedoom__1_4_2_3_2_3_2_1->n32_a_freedoom__1_4_2_3_2_3_2_1_1 n32_a_freedoom__1_5->n32_a_freedoom__1_5_1 
( (IP-MAT (NP-SBJ;{MONSTERS} (NS Monsters;{monster}))
          (ADVP-NIM (ADV only;{only}))
          (VBP;_I_ attack;{attack})
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (BEP;_Ipr_ <apos>re;{be[in]})
                           (PP-CLR (P-ROLE in;{in})
                                   (NP (NP-GEN;{MONSTERS} (PRO;_genm_ their;{their}))
                                       (N line;{line})
                                       (PP (P-ROLE of;{of})
                                           (NP (N sight;{sight})))))))
          (PUNC .))
  (ID 32_a_freedoom))