--# -path=.:alltenses

concrete SammieGer of Sammie = SammieI with
  (Syntax = SyntaxGer), 
  (Symbolic = SymbolicGer),
  (ParamSammie = ParamSammieGer)
 ;