examples/mathtext/GeometryGer.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

--# -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)) ;

}