let
get_literal_sort (literal: literal) :
Symbol
.sort =
get_term_sort literal.atom