% -*-trale-prolog-*-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%      $file: theory.pl, i $
%%  $Revision: 1.0 $
%%      $Date: 2011/05/21 $
%%     Author: Hiroki Koga (hkoga@cc.saga-u.ac.jp) $
%%  Reference: Stefan Mueller's grammar implementations $
%%    Purpose: Grant-in-aide research No. 21520410 by JSPS $
%%           the tense expletive $
%%   Language: Trale $
%      System: TRALE 2.7.5 (release) under Sicstus 3.10.1 $
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

:- multifile if/2.

% für [incr TSDB()]
grammar_version('Chapter 1 Tense expletive grammar').

% feature hiding and ordering
% hidden_feat(hd_dtr).      % hide the dtrs attribute (shown by tree)
% hide the dtrs attribute (shown by tree)
% hidden_feat(non_hd_dtr).

>>> phon.        % phon shall be shown first

phon <<< synsem.

synsem <<< non_hd_dtr.

non_hd_dtr <<< hd_dtr.

head <<< comps.

sform <<< length.


% use ghostview for drawing signatures
graphviz_option(ps,gv).
%graphviz_option(svg,squiggle).

% Load phonology and tree output

:- [trale_home(tree_extensions)].


:- chart_display.

:- nochart_debug.  % this helps if somebody interrupted during chart debugging and the
                   % flag is still set to 'on'.

%:- german.

:- notcl_warnings.  % on = output of warnings in a TCL window, off = output to console


%:- nofs. % do not print feature structures after parsing

root_symbol(@root).
%decl_symbol(@root).
%que_symbol(@interrog).

% load tokenization rules for parsing ordinary strings and atoms
:- [tokenization].

% specify signature file
signature(signature).

% load phrasal rules
:- [syntax].


% load relational constraints for rules
:- [constraints].

% load lexicon
:- [lexicon].

% load lexical rules
% :- [lex_rule].

% load a test sequence
:- [test_items].


% load a sequence that is executed after the grammar is loaded
:- ['../Gemeinsames/common.pl'].


examples(['  kodon no nuQ.',
          '  nuru.',
          '* nu.',
          '* neru.',
          '  neta.',
          '* nita.',
          '* hanasuru.',
          '* okiQ.',
          '  oki:.',
          '  okiru.',
          '  okita.',
          '  kodon no tenisu ba suQ.',
          '  suru.',
          '* su.',
          '* seru.',
          '  sita.',
          '* seta.']).