Program is invoked by:

swipl -s Main.pro 

and then by calling predicate:
:- solve_wernick.
which solves all problems from Wernick's corpus
or 
:- solve_connelly.
which solves all problems from Connelly's corpus.

If just one problem, denoted by N, is to be solved, then a predicate:
:- solve_one(N).
is called.

Generated constructions in natural language form and in GCLC form, along with  
specification of the input to OpenGeoProver are placed in directory constructions.
