anchor.diff:  |         | interpreted in Verifier    | learning curve         |                |
   |         | large body of examples     | less rich syntax       |                |
   |         | alternate model compilers  |                        |                |
  -| MASL    | richest syntax             | conversion required    |                | few users
  +| MASL    | richest syntax             | conversion required    | consolidate UK | few users
   |         | strongest typing           | learning curve         |                |
   |         | local (UK) user community  |                        |                |
   |         | proximity to Ada target    |                        |                |
  
positive.code: 
  === File Formats
  Isolate the interface to the model compilation tool chain and document
  file formats noting that example files are supplied by client.
  
  === Integrity
  Define steps to ensure and validate the integrity of models through
  conversion process.
  
  ==== Round Trip
  Explore the use of "round trip testing" to automate the import and export
  
negative.code: [options="header"]
  |===
  | feature                              | description                                        | parser   | ROM effort
  | keyword highlighting                 | embolden and/or colorize language key words        |          | 1 week
  | automatic indentation                | Indent after `if`, `else`, `loop`, etc.            |          | 2 weeks
  | name validation                      | Validate identifiers with model elements.          | required | 1 month
  | context-sensitive content assistance | auto-completion and selection lists                | required | 2 months
  | rename/refactoring                   | Update activities when model element names change. | required | 4 months
  |===
  
  