init{
    sword := "sword"
    hammer := "hammer"
    flyingEnchantment := "TheItemBeginsToGlowFaintly."
    soulEatingEnchantment := "TheItemSpreadsBloodlust."
}

channel CS2F{
    in sword(s:Str, wield(s2:Str)) == s2
    out flyingEnchantment(fe:Str, wield(s2)) == fe
}

channel CS2S{
    in sword(s:Str, wield(s2)) == s2
    out soulEatingEnchantment(se:Str, wield(s2)) == se
}

channel CH2F{
    in hammer(h:Str, wield(h2:Str)) == h2
    out flyingEnchantment(fe:Str, wield(h2)) == fe
}

channel CH2S{
    in hammer(h:Str, wield(h2)) == h2
    out soulEatingEnchantment(se, wield(h2)) == se
}