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           mark     NMTOKEN #IMPLIED
  20           meta     CDATA   #IMPLIED
  21 >
  22
  23 <!ELEMENT LRef EMPTY>
  24 <!ATTLIST LRef
  25           position NMTOKEN #REQUIRED
  26           offset   NMTOKEN #IMPLIED
  27           name     NMTOKEN #IMPLIED
  28           mark     NMTOKEN #IMPLIED
  29           meta     CDATA   #IMPLIED
  30 >
  31
  32 <!ELEMENT GRef EMPTY>
  33 <!ATTLIST GRef
  34           uri  CDATA   #REQUIRED
  35           name NMTOKEN #IMPLIED
  36           mark NMTOKEN #IMPLIED
  37           meta CDATA   #IMPLIED
  38 >
  39
  40 <!ELEMENT Cast %term;>
  41 <!ATTLIST Cast
  42           arity NMTOKEN #IMPLIED
  43           mark  NMTOKEN #IMPLIED
  44           meta  CDATA   #IMPLIED
  45 >
  46
  47 <!ELEMENT Appl %terms;>
  48 <!ATTLIST Appl
  49           arity NMTOKEN #IMPLIED
  50           mark  NMTOKEN #IMPLIED
  51           meta  CDATA   #IMPLIED
  52 >
  53
  54 <!ELEMENT Abst %terms;>
  55 <!ATTLIST Abst
  56           level NMTOKEN  #IMPLIED
  57           name  NMTOKENS #IMPLIED
  58           arity NMTOKEN  #IMPLIED
  59           mark  NMTOKEN  #IMPLIED
  60           meta  CDATA    #IMPLIED
  61 >
  62
  63 <!ELEMENT Abbr %terms;>
  64 <!ATTLIST Abbr
  65           name  NMTOKENS #IMPLIED
  66           arity NMTOKEN  #IMPLIED
  67           mark  NMTOKEN  #IMPLIED
  68           meta  CDATA    #IMPLIED
  69 >
  70
  71 <!ELEMENT Void EMPTY>
  72 <!ATTLIST Void
  73           name  NMTOKENS #IMPLIED
  74           arity NMTOKEN  #IMPLIED
  75           mark  NMTOKEN  #IMPLIED
  76           meta  CDATA    #IMPLIED
  77 >
  78
  79 <!-- ENVIRONMENT ENTRIES -->
  80
  81 <!ENTITY % entity '(ABST|ABBR)'>
  82
  83 <!ELEMENT ABST %term;>
  84 <!ATTLIST ABST
  85           uri   CDATA    #REQUIRED
  86           level NMTOKEN  #IMPLIED
  87           name  NMTOKEN  #IMPLIED
  88           mark  NMTOKEN  #IMPLIED
  89           meta  NMTOKENS #IMPLIED
  90           lang  NMTOKEN  "en-US"
  91           info  CDATA    #IMPLIED
  92 >
  93
  94 <!ELEMENT ABBR %term;>
  95 <!ATTLIST ABBR
  96           uri  CDATA    #REQUIRED
  97           name NMTOKEN  #IMPLIED
  98           mark NMTOKEN  #IMPLIED
  99           meta NMTOKENS #IMPLIED
 100           lang NMTOKEN  "en-US"
 101           info CDATA    #IMPLIED
 102 >
 103
 104 <!ELEMENT ENTITY %entity;>
 105 <!ATTLIST ENTITY
 106           xmlns     CDATA    #FIXED    "http://lambdadelta.info/"
 107           hierarchy NMTOKEN  #REQUIRED
 108           options   NMTOKENS #IMPLIED
 109 >
 110
 111 <!-- CONVERSION CONSTRAINT SYSTEM -->
 112
 113 <!ENTITY % cc '(ToPositive|ToOne|ToNext)'>
 114
 115 <!ENTITY % ccs '(%cc;*)'>
 116
 117 <!ELEMENT ToPositive EMPTY>
 118 <!ATTLIST ToPositive
 119           arity NMTOKEN  #IMPLIED
 120           mark  NMTOKENS #IMPLIED
 121 >
 122
 123 <!ELEMENT ToOne EMPTY>
 124 <!ATTLIST ToOne
 125           arity NMTOKEN  #IMPLIED
 126           mark  NMTOKENS #IMPLIED
 127 >
 128
 129 <!ELEMENT ToNext EMPTY>
 130 <!ATTLIST ToNext
 131           arity NMTOKEN  #IMPLIED
 132           prec  NMTOKENS #IMPLIED
 133           next  NMTOKENS #IMPLIED
 134 >
 135
 136 <!ELEMENT CCS %ccs;>
 137 <!ATTLIST CCS
 138           xmlns CDATA #FIXED    "http://lambdadelta.info/"
 139           uri   CDATA #REQUIRED
 140 >