added QuestIComp to Pred

This commit is contained in:
aarne
2014-02-14 14:36:03 +00:00
parent 189b7cf8ee
commit 2e583968cb
10 changed files with 47 additions and 12 deletions

View File

@@ -66,14 +66,16 @@ oper
AAgr = Agr ; -- because of reflexives: "happy with itself"
IPAgr : PType ; -- agreement of IP
RPAgr : PType ; -- agreement of RP
ICAgr : PType ; -- agreement to IComp
defaultAgr : Agr ;
-- omitting parts of Agr information
agr2vagr : Agr -> VAgr ;
agr2aagr : Agr -> AAgr ;
agr2nagr : Agr -> NAgr ;
agr2vagr : Agr -> VAgr ;
agr2aagr : Agr -> AAgr ;
agr2nagr : Agr -> NAgr ;
agr2icagr : Agr -> ICAgr ;
-- restoring full Agr
ipagr2agr : IPAgr -> Agr ;