let request_skolemized_literal (literal: literal) : literal = request_literal literal.sign (request_skolemized_term literal.atom)