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_0032_0006___APOS_RE,R_0032_0005__YOU,R_0032_0001__MONSTERS,R_0032_0011__SIGHT,R_0032_0009__LINE] :
      ( ( r_0032_0001__Monsters(R_0032_0001__MONSTERS)
        & r_0032_0005__you(R_0032_0005__YOU)
        & r_0032_0011__sight(R_0032_0011__SIGHT)
        & r_0032_0006___apos_re(R_0032_0006___APOS_RE)
        & has_r_0032_0007__in_clr22(R_0032_0006___APOS_RE,R_0032_0009__LINE)
        & r_0032_0009__line(R_0032_0009__LINE)
        & has_r_0032_0010__of(R_0032_0009__LINE,R_0032_0011__SIGHT)
        & has_gen(R_0032_0009__LINE,R_0032_0001__MONSTERS)
        & has_arg0(R_0032_0006___APOS_RE,R_0032_0005__YOU) )
     => ? [R_0032_0002__ONLY,R_0032_0003__ATTACK] :
          ( r_0032_0002__only(R_0032_0002__ONLY)
          & r_0032_0003__attack(R_0032_0003__ATTACK)
          & has_nim5(R_0032_0003__ATTACK,R_0032_0002__ONLY)
          & has_arg0(R_0032_0003__ATTACK,R_0032_0001__MONSTERS) ) ) ).


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