Lecture overview -- Keyboard shortcut: 'u'  Previous page: The function simple-html-table -- Keyboard shortcut: 'p'  Next page: Generation of a leq predicate from enumeration -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Help page about these notes  Alphabetic index  Course home    Lecture 4 - Page 33 : 34
Functional Programming in Scheme
Higher-order Functions
The XHTML mirror in LAML

LAML supports an exact mirror of the 77 XHTML1.0 strict elements as well as the other XHTML variants

The LAML HTML mirror libraries are based on a parsed representation of the HTML DTD (Document Type Definition). The table below is automatically generated from the same data structure.

Element

Content model

Attributes

html(sequence-with-optionals "head" "body")
langdir
xml:langxmlns
head"((script|style|meta|link|object)*, ((title, (script|style|meta|link|object)*, (base, (script|style|meta|link|object)*)?) | (base, (script|style|meta|link|object)*, (title, (script|style|meta|link|object)*))))"
langdir
xml:langprofile
titlepcdata-checker
langdir
xml:lang
base"EMPTY"
href
meta"EMPTY"
langname
xml:langcontent
dirscheme
http-equiv
link"EMPTY"
idonmousemove
classonmouseout
styleonkeypress
titleonkeydown
langonkeyup
xml:langcharset
dirhref
onclickhreflang
ondblclicktype
onmousedownrel
onmouseuprev
onmouseovermedia
stylepcdata-checker
langmedia
xml:langtitle
dirxml:space
type
scriptpcdata-checker
charsetdefer
typexml:space
src
noscript(zero-or-more "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
body(zero-or-more "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "ins" "del" "script" "noscript")
idonmouseup
classonmouseover
styleonmousemove
titleonmouseout
langonkeypress
xml:langonkeydown
dironkeyup
onclickonload
ondblclickonunload
onmousedown
div(zero-or-more "#PCDATA" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
p(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
h1(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
h2(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
h3(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
h4(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
h5(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
h6(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
ul(one-or-more "li")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
ol(one-or-more "li")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
li(zero-or-more "#PCDATA" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
dl(one-or-more "dt" "dd")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
dt(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
dd(zero-or-more "#PCDATA" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
address(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
hr"EMPTY"
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
pre(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "map" "tt" "i" "b" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclickxml:space
blockquote(zero-or-more "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclickcite
ins(zero-or-more "#PCDATA" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmouseup
classonmouseover
styleonmousemove
titleonmouseout
langonkeypress
xml:langonkeydown
dironkeyup
onclickcite
ondblclickdatetime
onmousedown
del(zero-or-more "#PCDATA" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmouseup
classonmouseover
styleonmousemove
titleonmouseout
langonkeypress
xml:langonkeydown
dironkeyup
onclickcite
ondblclickdatetime
onmousedown
a(zero-or-more "#PCDATA" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonkeydown
classonkeyup
stylecharset
titletype
langname
xml:langhref
dirhreflang
onclickrel
ondblclickrev
onmousedownaccesskey
onmouseupshape
onmouseovercoords
onmousemovetabindex
onmouseoutonfocus
onkeypressonblur
span(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
bdo(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousemove
classonmouseout
styleonkeypress
titleonkeydown
onclickonkeyup
ondblclicklang
onmousedownxml:lang
onmouseupdir
onmouseover
br"EMPTY"
idstyle
classtitle
em(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
strong(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
dfn(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
code(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
samp(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
kbd(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
var(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
cite(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
abbr(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
acronym(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
q(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclickcite
sub(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
sup(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
tt(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
i(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
b(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
big(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
small(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
object(zero-or-more "#PCDATA" "param" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonkeydown
classonkeyup
styledeclare
titleclassid
langcodebase
xml:langdata
dirtype
onclickcodetype
ondblclickarchive
onmousedownstandby
onmouseupheight
onmouseoverwidth
onmousemoveusemap
onmouseoutname
onkeypresstabindex
param"EMPTY"
idvaluetype
nametype
value
img"EMPTY"
idonmousemove
classonmouseout
styleonkeypress
titleonkeydown
langonkeyup
xml:langsrc
diralt
onclicklongdesc
ondblclickheight
onmousedownwidth
onmouseupusemap
onmouseoverismap
map"((p | h1|h2|h3|h4|h5|h6 | div | ul | ol | dl | pre | hr | blockquote | address | fieldset | table | form | ins | del | script | noscript)+ | area+)"
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclickid
onmousedownclass
onmouseupstyle
onmouseovertitle
onmousemovename
area"EMPTY"
idonmouseout
classonkeypress
styleonkeydown
titleonkeyup
langshape
xml:langcoords
dirhref
onclicknohref
ondblclickalt
onmousedowntabindex
onmouseupaccesskey
onmouseoveronfocus
onmousemoveonblur
form(zero-or-more "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "ins" "del" "script" "noscript")
idonmousemove
classonmouseout
styleonkeypress
titleonkeydown
langonkeyup
xml:langaction
dirmethod
onclickenctype
ondblclickonsubmit
onmousedownonreset
onmouseupaccept
onmouseoveraccept-charset
label(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmouseover
classonmousemove
styleonmouseout
titleonkeypress
langonkeydown
xml:langonkeyup
dirfor
onclickaccesskey
ondblclickonfocus
onmousedownonblur
onmouseup
input"EMPTY"
idname
classvalue
stylechecked
titledisabled
langreadonly
xml:langsize
dirmaxlength
onclicksrc
ondblclickalt
onmousedownusemap
onmouseuptabindex
onmouseoveraccesskey
onmousemoveonfocus
onmouseoutonblur
onkeypressonselect
onkeydownonchange
onkeyupaccept
type
select(one-or-more "optgroup" "option")
idonmouseout
classonkeypress
styleonkeydown
titleonkeyup
langname
xml:langsize
dirmultiple
onclickdisabled
ondblclicktabindex
onmousedownonfocus
onmouseuponblur
onmouseoveronchange
onmousemove
optgroup(one-or-more "option")
idonmouseup
classonmouseover
styleonmousemove
titleonmouseout
langonkeypress
xml:langonkeydown
dironkeyup
onclickdisabled
ondblclicklabel
onmousedown
optionpcdata-checker
idonmouseover
classonmousemove
styleonmouseout
titleonkeypress
langonkeydown
xml:langonkeyup
dirselected
onclickdisabled
ondblclicklabel
onmousedownvalue
onmouseup
textareapcdata-checker
idonkeypress
classonkeydown
styleonkeyup
titlename
langrows
xml:langcols
dirdisabled
onclickreadonly
ondblclicktabindex
onmousedownaccesskey
onmouseuponfocus
onmouseoveronblur
onmousemoveonselect
onmouseoutonchange
fieldset(zero-or-more "#PCDATA" "legend" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
legend(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclickaccesskey
button(zero-or-more "#PCDATA" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "table" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "ins" "del" "script" "noscript")
idonmouseout
classonkeypress
styleonkeydown
titleonkeyup
langname
xml:langvalue
dirtype
onclickdisabled
ondblclicktabindex
onmousedownaccesskey
onmouseuponfocus
onmouseoveronblur
onmousemove
table"(caption?, (col*|colgroup*), thead?, tfoot?, (tbody+|tr+))"
idonmousemove
classonmouseout
styleonkeypress
titleonkeydown
langonkeyup
xml:langsummary
dirwidth
onclickborder
ondblclickframe
onmousedownrules
onmouseupcellspacing
onmouseovercellpadding
caption(zero-or-more "#PCDATA" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonmousedown
classonmouseup
styleonmouseover
titleonmousemove
langonmouseout
xml:langonkeypress
dironkeydown
onclickonkeyup
ondblclick
thead(one-or-more "tr")
idonmousemove
classonmouseout
styleonkeypress
titleonkeydown
langonkeyup
xml:langspan
dirwidth
onclickalign
ondblclickchar
onmousedowncharoff
onmouseupvalign
onmouseover
tfoot(one-or-more "tr")
idonmousemove
classonmouseout
styleonkeypress
titleonkeydown
langonkeyup
xml:langspan
dirwidth
onclickalign
ondblclickchar
onmousedowncharoff
onmouseupvalign
onmouseover
tbody(one-or-more "tr")
idonmouseover
classonmousemove
styleonmouseout
titleonkeypress
langonkeydown
xml:langonkeyup
diralign
onclickchar
ondblclickcharoff
onmousedownvalign
onmouseup
colgroup(zero-or-more "col")
idonmouseover
classonmousemove
styleonmouseout
titleonkeypress
langonkeydown
xml:langonkeyup
diralign
onclickchar
ondblclickcharoff
onmousedownvalign
onmouseup
col"EMPTY"
idonmouseover
classonmousemove
styleonmouseout
titleonkeypress
langonkeydown
xml:langonkeyup
diralign
onclickchar
ondblclickcharoff
onmousedownvalign
onmouseup
tr(one-or-more "th" "td")
idonmouseover
classonmousemove
styleonmouseout
titleonkeypress
langonkeydown
xml:langonkeyup
diralign
onclickchar
ondblclickcharoff
onmousedownvalign
onmouseup
th(zero-or-more "#PCDATA" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonkeypress
classonkeydown
styleonkeyup
titleabbr
langaxis
xml:langheaders
dirscope
onclickrowspan
ondblclickcolspan
onmousedownalign
onmouseupchar
onmouseovercharoff
onmousemovevalign
onmouseout
td(zero-or-more "#PCDATA" "p" "h1" "h2" "h3" "h4" "h5" "h6" "div" "ul" "ol" "dl" "pre" "hr" "blockquote" "address" "fieldset" "table" "form" "a" "br" "span" "bdo" "object" "img" "map" "tt" "i" "b" "big" "small" "em" "strong" "dfn" "code" "q" "sub" "sup" "samp" "kbd" "var" "cite" "abbr" "acronym" "input" "select" "textarea" "label" "button" "ins" "del" "script" "noscript")
idonkeypress
classonkeydown
styleonkeyup
titleabbr
langaxis
xml:langheaders
dirscope
onclickrowspan
ondblclickcolspan
onmousedownalign
onmouseupchar
onmouseovercharoff
onmousemovevalign
onmouseout

HTML elements, their status, and their attributes in the XHTML1.0 strict Scheme mirror. The Content model information is - for most elements - shown as predicates which validate the individual elements. An EMPTY indication tells that there is no content model to validate, because the element is a terminal one (no constituent elements). For a few elements a non-trivial string is given as content model. These elements calls for specialized validation predicates, which have be hand written, from case to case.