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

         name: runningSimpleSemDCG.pl
      version: August, 2004
  description: Driver predicate for implementation of lambda-based semantic construction
      authors: Stephan Walter, Aljoscha Burchardt
*************************************************************************/

:- module(runningSimpleSem,[go/0]).
:- use_module(signature,[resetVars/0]).
:- use_module(betaConversion,[betaConvert/2]).
:- use_module(readLine,[readLine/1]).

:- [simpleSemDCG].
:- [user:comsemOperators].

/*========================================================================
   Driver Predicates
========================================================================*/

go :-
	readLine(Sentence),
	resetVars,
	s(Formula,Sentence,[]),
	nl, print(Formula),
	betaConvert(Formula,Converted),
	nl, print(Converted).