*$MST_FROM_ENTRY;

*$MATCHING ForRepeatedSpecialization ;

*$STRATEGY Applicative ;
/*
$ENTRY Go {
 = <Prout <Go e.1 >> ;
}
*/

***
/*
*  InputFormat: <Go e.41 >
*  OutputFormat: ==> e.0 
*/


$ENTRY Go {
 (('xs -> empty') e.101) =  False;
 (('xs -> q xs') ('xs -> empty') ('t -> A') ('q -> B')) =  True;
 (('xs -> q xs') ('xs -> empty') ('t -> A') ('q -> B') e.101) =  False;
 (('xs -> q xs') ('xs -> empty') ('t -> A') e.101) =  False;
 (('xs -> q xs') ('xs -> empty') e.101) =  False;
 (('xs -> q xs') ('xs -> A xs') ('q -> A') e.101) =  False;
 (('xs -> q xs') ('xs -> A xs') e.101) =  False;
 (('xs -> q xs') e.101) =  False;
 (e.101) =  False;
}

****************************** The End ************************************