(module $other
  (resource $x)
  (resource $y)
)