--# -path=.:alltenses

concrete SammieFre of Sammie = SammieI with
  (Syntax = SyntaxFre), 
  (Symbolic = SymbolicFre),
  (ParamSammie = ParamSammieFre)
 ;