%%%
%%% Authors:
%%%   Gert Smolka <smolka@ps.uni-sb.de>
%%%
%%% Copyright:
%%%   Gert Smolka, 1998
%%%
%%% Last change:
%%%   $Date: 2001-05-25 19:04:07 +0200 (Fri, 25 May 2001) $ by $Author: schulte $
%%%   $Revision: 13860 $
%%%
%%% This file is part of Mozart, an implementation
%%% of Oz 3
%%%    http://www.mozart-oz.org
%%%
%%% See the file "LICENSE" or
%%%    http://www.mozart-oz.org/LICENSE.html
%%% for information on usage and redistribution
%%% of this file, and for a DISCLAIMER OF ALL
%%% WARRANTIES.
%%%

\insert 'shieber/formalism.oz'
\insert 'shieber/grammar.oz'

/*

% parse 

{GrammarAgent query(proc {$ F} 
		       F^lexin = [uther persuades cornwall to sleep] 
		    end)}

% parse 

{GrammarAgent query(proc {$ F} 
		       F^lexin = [uther _ cornwall _ _ _]
		    end)}


% generate all sentences

{GrammarAgent query(proc {$ F} 
		       skip
		    end)}

% generate from logical form

{GrammarAgent query(proc {$ F} 
		       F^head^lf = [persuade uther kuno [beat kuno cornwall]]
		    end)}

{Inspect {GrammarAgent next($)}}


% generate all sentences in perfect tense

{GrammarAgent query(proc {$ F} 
		       F^head^lf = [perfective _]
		    end)}

{GrammarAgent next}

% generate all sentences in perfect tense with subject knights

{GrammarAgent query(proc {$ F} 
		       F^head^lf = [perfective (_|knights|_)]
		    end)}

% generate all sentences with main verb storm

{GrammarAgent query(proc {$ F} 
		       LF = F^head^lf
		    in
		       dis LF = storm|_
		       [] LF = perfective|(storm|_)|_
		       end
		    end)}

% generate all sentences with at most 3 words

declare
proc {LengthLE L N}
   dis L=nil
   [] LL in L=_|LL N>:0 then {LengthLE LL N-1}
   end
end

{GrammarAgent query(proc {$ F} 
		       {LengthLE F^lexin 6}
		    end)}

*/