formulas(assumptions).

p(x).  .

end_of_list.
