halfLivesElapsed(iodine_sample, 2.0).
remainingActivity_Bq(iodine_sample, 20.0).
decayedActivity_Bq(iodine_sample, 60.0).
status(iodine_sample, low_activity).
reason(iodine_sample, "two half-lives leave one quarter of the initial activity").