interface ResSlavic = DiffSlavic ** open CommonSlavic, Prelude in {

oper
  Preposition : Type = {s : Str; c : Case};

}