Success: make_suspension(true, 2, S), is_suspension(S). Fail: is_suspension(X). is_suspension(a). make_suspension(true, 2, S), schedule_woken([S]), wake, is_suspension(S).