[X < is < in < X]

[
  [Y < is < in < X] < if <
    [ [Subs = args(X)] and 
      [for < any < [Sub < in < Subs] < holds < [Y < is < in < Sub]
    ]
]