Example of definition block
So in the framework itself, Editor can add line of any language he would like. And we are waiting enthusiasts of CL, OWL2, Isabelle, Coq and so on.