INPUT-METHOD =
  '<input-method>'
  TAGS
  DESCRIPTION ?
  TITLE ?
  VARLIST ?
  CMDLIST ?
  MODULELIST ?
  MACROLIST ?
  MAPLIST ?
  STATELIST ?
  '</input-method>'

VARLIST = '<variable-list>' DEFVAR * '</variable-list>'
CMDLIST = '<command-list>' COMMAND * '</command-list>'
MODULELIST = '<module-list>' MODULE * '</module-list>'
MACROLIST = '<macro-list>' DEFUN * '</macro-list>'
MAPLIST = '<map-list>' MAP * '</map-list>'
STATELIST = '<state-list>' STATE * '</state-list>'

MODULE = '<module>' DEFUN-NAME + '</module>'
DEFUN-NAME = '<defun fname=">' FNAME '"/>'

MAP = '<map id="' MAPNAME '">' RULE * '</map>'

RULE = '<rule>' [ KEYSEQ | COMMAND-REF ] FUNCALL * '</rule>'

STATE = '<state id="' STATENAME '">' BRANCH * '</state>'

BRANCH = ...

TERM += MIM-TERM
PREDEFINED += MIM-PREDEFEIND

MIM-TERM = KEYSEQ MARKER 

KEYSEQ = '<keyseq>' [ INTTERM | STRTERM | SYMTERM ] + '</keyseq>'
KEYSEQTERM = KEYSEQ | VAR (value is KEYSEQ) | FUNCALL (return KEYSEQ)

MARKER = '<marker>' SYMTERM '</marker>'
MARKERTERM = MARKER | VAR (value is MARKER) | FUNCALL (return MARKER)


MIM-PREDEFINED = MARK MOVE PUSHBACK ...

MOVE = '<move>' [ MARKERTERM | INTTERM ] '</move>'
MARK = '<mark>' MARKERTERM '</mark>'
PUSHBACK = '<pushback>' [ KEYSEQTERM | INTTERM ] '</pushback>'
...