1 ASSERT (
assertion_list
)