open Fol

val call : query -> prover_answer