Context                Previous, Next                Top


26_a_fce_0101_2001_06
Help!

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;_Tn_ 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;_Tn_ Help;{help})
          (PUNC !))
  (ID 26_a_fce_0101_2001_06))


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


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