assign(max_seconds,5).
set(binary_resolution).
set(print_gen).

formulas(assumptions).
  D.
  D -> C.
  C -> S.
end_of_list.

formulas(goals).
  S.
end_of_list.
