Would it be possible to extend theory atoms so literals can occur inside them, like in

&k{ not p(2,X) }

Thanks