examples/shallow/BigShallowSweAbs.gf


1
2
3
4
5
6
7
8
9
10
11

--# -path=.:../big:alltenses:prelude

abstract BigShallowSweAbs = 
  Shallow,
  BigLexSweAbs,
  IrregSweAbs,
  ExtraSweAbs-[
    ComplBareVS, -- : VS -> S -> VP ;     -- know you go
    MkVPI        -- : VP -> VPI ;
  ]
  ** {} ;