paramodulations

== English == === Noun === paramodulations plural of paramodulation