(Som) Add simple y/n-questions

This commit is contained in:
Inari Listenmaa
2019-06-28 14:52:14 +02:00
parent ef13412a66
commit 890e29f628
6 changed files with 20 additions and 22 deletions

View File

@@ -1,12 +1,12 @@
concrete QuestionSom of Question = CatSom ** open
ResSom, (VS=VerbSom), (NS=NounSom), (AS=AdverbSom) in {
Prelude, ResSom, (VS=VerbSom), (NS=NounSom), (AS=AdverbSom) in {
-- A question can be formed from a clause ('yes-no question') or
-- with an interrogative.
lin
-- : Cl -> QCl ;
-- QuestCl cl = ;
QuestCl cl = {s = cl.s ! True} ;
-- : IP -> VP -> QCl ;
-- QuestVP ip vp = ;