Fixes to num size and other fixes

This commit is contained in:
Roman Suzi
2020-07-25 19:32:57 +03:00
parent 74485ab138
commit 3fc6efec77
10 changed files with 67 additions and 46 deletions

View File

@@ -10,7 +10,7 @@ lin
-- : IP -> VP -> QCl ; -- who walks
QuestVP ip vp = {
subj=ip.nom ;
adv=[] ;
adv=vp.adv ! ip.a ;
verb=vp.verb ;
dep=vp.dep ;
compl=vp.compl ! ip.a ; --???
@@ -63,7 +63,7 @@ lin
-- : IDet -> CN -> IP ; -- which five songs
IdetCN idet cn = caseTableToRecord (\\cas => idet.s ! cn.g ! cn.anim ! cas
++ cn.s ! numSizeNum idet.size ! numSizeCase idet.size)
++ cn.s ! numSizeNum cas idet.size ! numSizeCase cas idet.size)
(Ag (gennum cn.g (numSizeNumber idet.size)) P3) cn.anim ;
-- : IDet -> IP ; -- which five