Wiktionary
paramodulations
n. (plural of paramodulation English)
n. (plural of paramodulation English)