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

% Head Feature Principle
phrase *> (synsem:category:head:H,
         hd_dtr:synsem:category:head:H).

comp_hd_ph rule
(phrase,
 phon:[CompPhon,HeadPhon],
 synsem:category:comps:PhrComps,
 non_hd_dtr:(Comp,synsem:Synsem,synsem:category:comps:[]),
 hd_dtr:(Head,synsem:category:comps:[Synsem|PhrComps]))
  ===>
cat> (Comp,phon:CompPhon),
cat> (Head,phon:HeadPhon).


arg_adj_hd_ph rule
(phrase,
 phon:[Arg_adjPhon,HeadPhon],
 synsem:category:comps:[],
 non_hd_dtr:(Arg_adj,synsem:category:(head:mod:[HdDtr|[]],comps:[])),
 hd_dtr:(Head,synsem:HdDtr,synsem:category:comps:[]))
  ===>
cat> (Arg_adj,phon:Arg_adjPhon),
cat> (Head,phon:HeadPhon).


%--------
%phon_append([],[],[]) if !, true.
%phon_append([],[H|T1],[H|T2]) if phon_append([],T1,T2).
%phon_append([H|T1],L,[H|T2]) if phon_append(T1,L,T2).


root macro
 (comps:[]).

interrog macro
 (@root).

decl macro
 (@root).