formulas(assumptions).
p(x).
end_of_list.
