mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 13:09:33 -06:00
20 lines
550 B
Plaintext
20 lines
550 B
Plaintext
--# -path=alltenses
|
|
|
|
concrete GeometryGer of Geometry = LogicGer **
|
|
open SyntaxGer, ParadigmsGer, IrregGer in {
|
|
lin
|
|
Line = mkN "Gerade" ;
|
|
Point = mkN "Punkt" ;
|
|
Circle = mkN "Kreis" ;
|
|
Intersect = pred (mkV2 (mkV "schneiden")) ;
|
|
Parallel = pred (mkA2 (mkA "parallel") (mkPrep "zu" dative)) ;
|
|
Vertical = pred (mkA "vertikal") ;
|
|
Centre = app (mkN2 (mkN "Mittelpunkt") (mkPrep [] genitive)) ;
|
|
|
|
Horizontal = mkVP (mkA "horizontal") ;
|
|
Diverge = mkVP (mkV "divergieren") ;
|
|
|
|
Contain = mkVPSlash (mkV2 (fixprefixV "ent" halten_V)) ;
|
|
|
|
}
|