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,
    ? [R_26_1_HELP,Z_26_A_FCE_101_2001_6_1] : help(R_26_1_HELP,Z_26_A_FCE_101_2001_6_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))