public void setUseParamodulation(bool useParamodulation) { this.useParamodulation = useParamodulation; }