helm/www/lambdadelta/xml/ld.dtd

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!-- DTD for persistent lambdadelta logical data -->
   4
   5 <!-- TERMS -->
   6
   7 <!ENTITY % leaf '(Sort|LRef|GRef)'>
   8
   9 <!ENTITY % node '(Cast|Appl|Abst|Abbr|Void)'>
  10
  11 <!ENTITY % term '(%node;*,%leaf;)'>
  12
  13 <!ENTITY % terms '(%term;*)'>
  14
  15 <!ELEMENT Sort EMPTY>
  16 <!ATTLIST Sort
  17           position NMTOKEN #REQUIRED
  18           name     NMTOKEN #IMPLIED
  19 >
  20
  21 <!ELEMENT LRef EMPTY>
  22 <!ATTLIST LRef
  23           position NMTOKEN #REQUIRED
  24           name     NMTOKEN #IMPLIED
  25 >
  26
  27 <!ELEMENT GRef EMPTY>
  28 <!ATTLIST GRef
  29           uri  CDATA   #REQUIRED
  30           name NMTOKEN #IMPLIED
  31 >
  32
  33 <!ELEMENT Cast %term;>
  34 <!ATTLIST Cast
  35 >
  36
  37 <!ELEMENT Appl %terms;>
  38 <!ATTLIST Appl
  39 >
  40
  41 <!ELEMENT Abst %terms;>
  42 <!ATTLIST Abst
  43           level NMTOKEN #IMPLIED
  44           name  NMTOKEN #IMPLIED
  45 >
  46
  47 <!ELEMENT Abbr %terms;>
  48 <!ATTLIST Abbr
  49           name  NMTOKEN #IMPLIED
  50 >
  51
  52 <!ELEMENT Void EMPTY>
  53 <!ATTLIST Void
  54           name  NMTOKEN #IMPLIED
  55 >
  56
  57 <!-- ENVIRONMENT ENTRIES -->
  58
  59 <!ENTITY % entity '(GDec|GDef)'>
  60
  61 <!ELEMENT GDec %term;>
  62 <!ATTLIST GDec
  63           uri   CDATA    #REQUIRED
  64           name  NMTOKEN  #IMPLIED
  65           meta  NMTOKENS #IMPLIED
  66           lang  NMTOKEN  "en-US"
  67           info  CDATA    #IMPLIED
  68 >
  69
  70 <!ELEMENT GDef %term;>
  71 <!ATTLIST GDef
  72           uri  CDATA    #REQUIRED
  73           name NMTOKEN  #IMPLIED
  74           meta NMTOKENS #IMPLIED
  75           lang NMTOKEN  "en-US"
  76           info CDATA    #IMPLIED
  77 >
  78
  79 <!ELEMENT ENTITY %entity;>
  80 <!ATTLIST ENTITY
  81           xmlns     CDATA    #FIXED    "http://lambdadelta.info/"
  82           hierarchy NMTOKEN  #REQUIRED
  83           options   NMTOKENS #IMPLIED
  84 >
  85
  86 <!-- CONVERSION CONSTRAINT SYSTEM -->
  87
  88 <!ENTITY % cc '(ToPositive|ToOne|ToNext)'>
  89
  90 <!ENTITY % ccs '(%cc;*)'>
  91
  92 <!ELEMENT ToPositive EMPTY>
  93 <!ATTLIST ToPositive
  94           arity NMTOKEN  #IMPLIED
  95           mark  NMTOKENS #IMPLIED
  96 >
  97
  98 <!ELEMENT ToOne EMPTY>
  99 <!ATTLIST ToOne
 100           arity NMTOKEN  #IMPLIED
 101           mark  NMTOKENS #IMPLIED
 102 >
 103
 104 <!ELEMENT ToNext EMPTY>
 105 <!ATTLIST ToNext
 106           arity NMTOKEN  #IMPLIED
 107           prec  NMTOKENS #IMPLIED
 108           next  NMTOKENS #IMPLIED
 109 >
 110
 111 <!ELEMENT CCS %ccs;>
 112 <!ATTLIST CCS
 113           xmlns CDATA #FIXED    "http://lambdadelta.info/"
 114           uri   CDATA #REQUIRED
 115 >