--# -path=.:./present
concrete AttemptoUrd of Attempto = SymbolsC ** AttemptoI - [mustVP] with
  (Syntax = SyntaxUrd),
  (Symbolic = SymbolicUrd),
  (LexAttempto = LexAttemptoUrd) ;