let paramodulation = bool "paramodulation" params in
let full = bool "full" params in
let superposition = bool "superposition" params in
let target = string "target" params in
let table = string "table" params in
let subterms_only = bool "subterms_only" params in
let paramodulation = bool "paramodulation" params in
let full = bool "full" params in
let superposition = bool "superposition" params in
let target = string "target" params in
let table = string "table" params in
let subterms_only = bool "subterms_only" params in