(Ara) Small fixes + comments

This commit is contained in:
Inari Listenmaa
2018-11-21 16:04:55 +01:00
parent 45df74b36b
commit 473f6ae05b
5 changed files with 9 additions and 9 deletions
+1 -1
View File
@@ -28,7 +28,7 @@ concrete QuestionAra of Question = CatAra ** open ResAra, ParamX, Prelude, VerbA
---- IL guessed
-- : IComp -> NP -> QCl
QuestIComp ic np =
let vp = UseComp (CompNP np) ;
let vp = UseComp (CompNP np) ; -- puts NP in nominative
ip : ResAra.IP = np ** { -- NP's s is already present in VP, we only want its agr
s = \\_,_,_,_ => ic.s ! pgn2gn np.a.pgn } ;
in QuestVP ip vp ;