root(
  sub('value'),
  some( x(45), y(77))
)