theory "test opsplit" [
  [ the < opsplit < of < [on [x] say [y]] < is < [[on [x]], [say [y]]] ]
  [ the < opsplit < of < [this [x]] < is < [this [x]] ]
]