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

         name: runningFirstLambda.pl
      version: November, 2002
  description: Driver predicate for first implementation of lambda-based semantic construction
      authors: Stephan Walter, Aljoscha Burchardt
*************************************************************************/

:- module(runningFirstLambda,[firstlambda/0]).

:- use_module(myfirstLambda,[s/3]).
:- use_module(betaConversion,[betaConvert/2]).

:- use_module(readLine,[readLine/1]).
:- use_module(comsemLib,[printRepresentations/1,compose/3]).
:- use_module(signature,[resetVars/0,vars2atoms/1]).

:- [comsemOperators].

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

firstLambda :-
	readLine(Sentence),
	s(Formula,Sentence,[]),
	resetVars,vars2atoms(Formula),
	betaConvert(Formula,Converted),
	printRepresentations([Converted]).