We are currently working on specifications for other visual notations (e.g. venn diagrams) that represent mathematical notions. We are planning to incorporate concrete domains over the algebra of simple reals. These concrete domains extend description logic by reasoning about systems of (in)equalities over (non)linear polynomials (see  for more details). We also plan to address dynamic semantics of VLs. GenEd might be extended to support specifications of temporal relationships and to visualize VL execution through animations.