Reduction of the effective rotational Hamiltonian for pyramidal XY3 molecules with a large-amplitude inversion motion