/****************************************************************

 File: topdown_parser_test.pl

 Patrick Blackburn, 1999.
 Kristina Striegnitz, 2002.

 This file contains examples for testing the top-down
 parser for CFGs defined in topdown_parser.pl.

****************************************************************/

%----------------------------------------
%
% The first group is for working with the
% grammar ourEng, a small English grammar
%--------------------------------------- 

parse_topdown([vincent,fell],ParseTree).

parse_topdown([vincent,loved,mia],ParseTree).

parse_topdown([vincent,knew,mia],ParseTree).

parse_topdown([vincent,knew,mia, fell],ParseTree).

parse_topdown([vincent,knew,mia, knew,vincent],ParseTree).

parse_topdown([mia,knew,vincent,shot,marsellus],ParseTree).

parse_topdown([jules,believed,the,robber,shot,marsellus],ParseTree).

parse_topdown([jules,handed,vincent,to,mia],ParseTree).

parse_topdown([jules,handed,the,gun,to,marsellus],ParseTree).

parse_topdown([the,robber,who,shot,marsellus,fell],ParseTree).

parse_topdown([jules,believed,the,robber,who,shot,the,robber,fell],ParseTree).

parse_topdown([jules,believed,the,robber,who,shot,the,robber,who,shot,marsellus,fell],ParseTree).

parse_topdown([jules,believed,the,robber,who,shot,the,robber,who,shot,the,
          robber,who,shot,marsellus,fell],ParseTree).

%----------------------------------------
%
% The second  group is for working with the
% grammar aNbN.pl, which generates the formal
% language a^nb^n\{}.
%
%--------------------------------------- 

% Positive examples --- should be accepted

parse_topdown([a,b],ParseTree).

parse_topdown([a,a,b,b],ParseTree).

parse_topdown([a,a,a,b,b,b],ParseTree).

parse_topdown([a,a,a,a,b,b,b,b],ParseTree).

parse_topdown([a,a,a,a,a,b,b,b,b,b],ParseTree).

parse_topdown([a,a,a,a,a,a,a,a,a,a,b,b,b,b,b,b,b,b,b,b],ParseTree).

% Negative examples --- should not be accepted

parse_topdown([a,a,a,a,a,b],ParseTree).

parse_topdown([a,a,a,a,a,b,b,b,b],ParseTree).

parse_topdown([a,a,a,a,a,b,b,b,b,b,b,b,b,b,b,b,b],ParseTree).


/**********************************************************************
                    That's all, folks!
***********************************************************************/