mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-19 17:59:32 -06:00
13 lines
415 B
Plaintext
13 lines
415 B
Plaintext
concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [WhetherIs, QAction]
|
|
with
|
|
(DiffPhrasebook = DiffPhrasebookFre),
|
|
(Syntax = SyntaxFre) ** open SyntaxFre, ExtraFre in {
|
|
|
|
lin
|
|
WhetherIs item quality =
|
|
{s = \\_ => lin QS {s = \\_ => (EstcequeS (mkS (mkCl item quality))).s}} ;
|
|
QAction a =
|
|
{s = \\r => lin QS {s = \\_ => (EstcequeS (mkS (a.s ! r))).s}} ;
|
|
|
|
}
|