Miracle
If at least 5 of your monsters are banished: Target 3 of them; return them to the GY.
local s, id, o = GetID()
function s.initial_effect(c)
	--Activate
	local e1 = Effect.CreateEffect(c)
	e1:SetCategory(CATEGORY_TOGRAVE)
	e1:SetType(EFFECT_TYPE_ACTIVATE)
	e1:SetProperty(EFFECT_FLAG_CARD_TARGET)
	e1:SetCode(EVENT_FREE_CHAIN)
	e1:SetCondition(s.condition)
	e1:SetTarget(s.target)
	e1:SetOperation(s.activate)
	c:RegisterEffect(e1)
end
function s.filter(c)
	return c:IsFaceup() and c:IsType(TYPE_MONSTER)
end
function s.condition(e, tp, eg, ep, ev, re, r, rp)
	return Duel.IsExistingMatchingCard(s.filter, tp, LOCATION_REMOVED, 0, 5, nil)
end
function s.target(e, tp, eg, ep, ev, re, r, rp, chk, chkc)
	if chkc then
		return chkc:IsLocation(LOCATION_REMOVED) and chkc:IsControler(tp) and s.filter(chkc)
	end
	if chk == 0 then
		return Duel.IsExistingTarget(s.filter, tp, LOCATION_REMOVED, 0, 3, nil)
	end
	Duel.Hint(HINT_SELECTMSG, tp, aux.Stringid(id, 0))
	local g = Duel.SelectTarget(tp, s.filter, tp, LOCATION_REMOVED, 0, 3, 3, nil)
	Duel.SetOperationInfo(0, CATEGORY_TOGRAVE, g, 3, 0, 0)
end
function s.activate(e, tp, eg, ep, ev, re, r, rp)
	local tg = Duel.GetChainInfo(0, CHAININFO_TARGET_CARDS)
	local sg = tg:Filter(Card.IsRelateToEffect, nil, e)
	if sg:GetCount() > 0 then
		Duel.SendtoGrave(sg, REASON_EFFECT + REASON_RETURN)
	end
end


Miracle
If at least 5 of your monsters are banished: Target 3 of them; return them to the GY.
-- Miracle
local s, id, o = GetID()
function s.initial_effect(c)
	--Activate
	local e1 = Effect.CreateEffect(c)
	e1:SetCategory(CATEGORY_TOGRAVE)
	e1:SetType(EFFECT_TYPE_ACTIVATE)
	e1:SetProperty(EFFECT_FLAG_CARD_TARGET)
	e1:SetCode(EVENT_FREE_CHAIN)
	e1:SetCondition(s.condition)
	e1:SetTarget(s.target)
	e1:SetOperation(s.activate)
	c:RegisterEffect(e1)
end
function s.filter(c)
	return c:IsFaceup() and c:IsType(TYPE_MONSTER)
end
function s.condition(e, tp, eg, ep, ev, re, r, rp)
	return Duel.IsExistingMatchingCard(s.filter, tp, LOCATION_REMOVED, 0, 5, nil)
end
function s.target(e, tp, eg, ep, ev, re, r, rp, chk, chkc)
	if chkc then
		return chkc:IsLocation(LOCATION_REMOVED) and chkc:IsControler(tp) and s.filter(chkc)
	end
	if chk == 0 then
		return Duel.IsExistingTarget(s.filter, tp, LOCATION_REMOVED, 0, 3, nil)
	end
	Duel.Hint(HINT_SELECTMSG, tp, aux.Stringid(id, 0))
	local g = Duel.SelectTarget(tp, s.filter, tp, LOCATION_REMOVED, 0, 3, 3, nil)
	Duel.SetOperationInfo(0, CATEGORY_TOGRAVE, g, 3, 0, 0)
end
function s.activate(e, tp, eg, ep, ev, re, r, rp)
	local tg = Duel.GetChainInfo(0, CHAININFO_TARGET_CARDS)
	local sg = tg:Filter(Card.IsRelateToEffect, nil, e)
	if sg:GetCount() > 0 then
		Duel.SendtoGrave(sg, REASON_EFFECT + REASON_RETURN)
	end
end

