Context                Previous, Next                Top


26_a_fce_0101_2001_06
Help!

%3 r_0026_0001__Help Help z_000_26_a_fce_0101_2001_06_1 r_0026_0001__Help->z_000_26_a_fce_0101_2001_06_1 [arg0] 
arc(r_0026_0001__Help, z_000_26_a_fce_0101_2001_06_1, arg0).


%3 r_0026_0001__Help Help z_000_26_a_fce_0101_2001_06_1 r_0026_0001__Help->z_000_26_a_fce_0101_2001_06_1 [arg0] 
fof(formula,axiom,
    ? [Z_000_26_A_FCE_0101_2001_06_1,R_0026_0001__HELP] :
      ( z_000_26_a_fce_0101_2001_06_1(Z_000_26_A_FCE_0101_2001_06_1)
      & r_0026_0001__Help(R_0026_0001__HELP)
      & has_arg0(R_0026_0001__HELP,Z_000_26_A_FCE_0101_2001_06_1) ) ).


n26_a_fce_0101_2001_06 n26_a_fce_0101_2001_06__1_1_1 Help n26_a_fce_0101_2001_06__1_2_1 ! n26_a_fce_0101_2001_06__1 IP-IMP n26_a_fce_0101_2001_06__1_1 VB;_I_ n26_a_fce_0101_2001_06__1->n26_a_fce_0101_2001_06__1_1 n26_a_fce_0101_2001_06__1_2 PUNC n26_a_fce_0101_2001_06__1->n26_a_fce_0101_2001_06__1_2 n26_a_fce_0101_2001_06__1_1->n26_a_fce_0101_2001_06__1_1_1 n26_a_fce_0101_2001_06__1_2->n26_a_fce_0101_2001_06__1_2_1 
( (IP-IMP (VB;_I_ Help;{help})
          (PUNC !))
  (ID 26_a_fce_0101_2001_06))