added examples for metamodel-based semantics.