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_3 Help n26_a_fce_0101_2001_06_5 ! n26_a_fce_0101_2001_06_1 IP-IMP n26_a_fce_0101_2001_06_2 VB;_I_ n26_a_fce_0101_2001_06_1->n26_a_fce_0101_2001_06_2 n26_a_fce_0101_2001_06_4 PUNC n26_a_fce_0101_2001_06_1->n26_a_fce_0101_2001_06_4 n26_a_fce_0101_2001_06_2->n26_a_fce_0101_2001_06_3 n26_a_fce_0101_2001_06_4->n26_a_fce_0101_2001_06_5 
( (IP-IMP (VB;_I_ Help;{help})
          (PUNC !))
  (ID 26_a_fce_0101_2001_06))