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

 File: bottomup_recognizer_test.pl

 Patrick Blackburn, 1999.
 Kristina Striegnitz, 2002.

 This file contains examples for testing the naive bottom up
 recognizer for CFGs defined in bottomup_recognizer.pl.

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


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

%%% Positive examples --- should be accepted

recognize_bottomup([a,b]).

recognize_bottomup([a,a,b,b]).

recognize_bottomup([a,a,a,b,b,b]).

recognize_bottomup([a,a,a,a,b,b,b,b]).

recognize_bottomup([a,a,a,a,a,b,b,b,b,b]).

recognize_bottomup([a,a,a,a,a,a,a,a,a,a,b,b,b,b,b,b,b,b,b,b]).


%%% Negative examples --- should not be accepted

recognize_bottomup([a,a,a,a,a,b]).

recognize_bottomup([a,a,a,a,a,b,b,b,b]).

recognize_bottomup([a,a,a,a,a,b,b,b,b,b,b,b,b,b,b,b,b]).


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% The second group is for working with the grammar ourEng.pl, 
%%% a small English grammar

%%% Positive examples --- should be accepted

recognize_bottomup([vincent,fell]).

recognize_bottomup([mia,loved,vincent]).

recognize_bottomup([mia,shot,vincent]).

recognize_bottomup([mia,knew,mia]).

recognize_bottomup([mia,knew,vincent,shot,marsellus]).

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

recognize_bottomup([jules,handed,vincent,to,mia]).

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

recognize_bottomup([jules,gave,the,gun,to,marsellus]).

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

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

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

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


%%% Negative examples --- should be rejected
%%% (Note that `fell' is wrongly written `felll'.)

recognize_bottomup([jules,knew,the,robber,felll]).

recognize_bottomup([jules,knew,the,robber,who,felll]).

recognize_bottomup([jules,believed,the,robber,who,shot,marsellus,felll]).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% That's all, folks!
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%