open Fol

val query : query -> query