name: Falchionβ
card_text: If this card destroys an opponent's monster by battle: Activate 1 of these effects.
  ● Send 1 LIGHT Machine monster with 1200 or less ATK from your Deck to your GY.
  ● Target 1 LIGHT Machine monster with 1200 or less ATK in your GY; Special Summon that target.
lua: local s, id, o = GetID()
  function s.initial_effect(c)
  	local e1 = Effect.CreateEffect(c)
  	e1:SetDescription(aux.Stringid(id, 0))
  	e1:SetType(EFFECT_TYPE_SINGLE + EFFECT_TYPE_TRIGGER_F)
  	e1:SetCode(EVENT_BATTLE_DESTROYING)
  	e1:SetTarget(s.target)
  	e1:SetOperation(s.operation)
  	c:RegisterEffect(e1)
  end
  function s.filter1(c)
  	return c:IsRace(RACE_MACHINE) and c:IsAttribute(ATTRIBUTE_LIGHT) and c:IsAttackBelow(1200) and c:IsAbleToGrave()
  end
  function s.filter2(c, e, tp)
  	return c:IsRace(RACE_MACHINE) and c:IsAttribute(ATTRIBUTE_LIGHT) and c:IsAttackBelow(1200) and c:IsCanBeSpecialSummoned(e, 0, tp, false, false)
  end
  function s.target(e, tp, eg, ep, ev, re, r, rp, chk, chkc)
  	if chkc then
  		return chkc:IsLocation(LOCATION_GRAVE) and chkc:IsControler(tp) and s.filter2(chkc, e, tp)
  	end
  	if chk == 0 then
  		return true
  	end
  	local op = 0
  	Duel.Hint(HINT_SELECTMSG, tp, aux.Stringid(id, 0))
  	local t1 = Duel.IsExistingMatchingCard(s.filter1, tp, LOCATION_DECK, 0, 1, nil)
  	local t2 = Duel.GetLocationCount(tp, LOCATION_MZONE) > 0 and Duel.IsExistingTarget(s.filter2, tp, LOCATION_GRAVE, 0, 1, nil, e, tp)
  	if t1 and t2 then
  		op = Duel.SelectOption(tp, aux.Stringid(id, 1), aux.Stringid(id, 2)) + 1
  	elseif t1 then
  		Duel.SelectOption(tp, aux.Stringid(id, 1))
  		op = 1
  	elseif t2 then
  		Duel.SelectOption(tp, aux.Stringid(id, 2))
  		op = 2
  	end
  	e:SetLabel(op)
  	if op == 2 then
  		Duel.Hint(HINT_SELECTMSG, tp, HINTMSG_SPSUMMON)
  		local g = Duel.SelectTarget(tp, s.filter2, tp, LOCATION_GRAVE, 0, 1, 1, nil, e, tp)
  		Duel.SetOperationInfo(0, CATEGORY_SPECIAL_SUMMON, g, 1, 0, 0)
  		e:SetProperty(EFFECT_FLAG_CARD_TARGET)
  		e:SetCategory(CATEGORY_SPECIAL_SUMMON)
  	elseif op == 1 then
  		Duel.SetOperationInfo(0, CATEGORY_TOGRAVE, nil, 1, tp, LOCATION_DECK)
  		e:SetProperty(0)
  		e:SetCategory(CATEGORY_TOGRAVE)
  	else
  		e:SetProperty(0)
  		e:SetCategory(0)
  	end
  end
  function s.operation(e, tp, eg, ep, ev, re, r, rp)
  	if e:GetLabel() == 2 then
  		local tc = Duel.GetFirstTarget()
  		if tc and tc:IsRelateToEffect(e) then
  			Duel.SpecialSummon(tc, 0, tp, tp, false, false, POS_FACEUP)
  		end
  	elseif e:GetLabel() == 1 then
  		Duel.Hint(HINT_SELECTMSG, tp, HINTMSG_TOGRAVE)
  		local g = Duel.SelectMatchingCard(tp, s.filter1, tp, LOCATION_DECK, 0, 1, 1, nil)
  		if g:GetCount() > 0 then
  			Duel.SendtoGrave(g, REASON_EFFECT)
  		end
  	end
  end
  
  
source_text: Falchionβ
  If this card destroys an opponent's monster by battle: Activate 1 of these effects.
  ● Send 1 LIGHT Machine monster with 1200 or less ATK from your Deck to your GY.
  ● Target 1 LIGHT Machine monster with 1200 or less ATK in your GY; Special Summon that target.
target_text: -- Falchionβ
  local s, id, o = GetID()
  function s.initial_effect(c)
  	local e1 = Effect.CreateEffect(c)
  	e1:SetDescription(aux.Stringid(id, 0))
  	e1:SetType(EFFECT_TYPE_SINGLE + EFFECT_TYPE_TRIGGER_F)
  	e1:SetCode(EVENT_BATTLE_DESTROYING)
  	e1:SetTarget(s.target)
  	e1:SetOperation(s.operation)
  	c:RegisterEffect(e1)
  end
  function s.filter1(c)
  	return c:IsRace(RACE_MACHINE) and c:IsAttribute(ATTRIBUTE_LIGHT) and c:IsAttackBelow(1200) and c:IsAbleToGrave()
  end
  function s.filter2(c, e, tp)
  	return c:IsRace(RACE_MACHINE) and c:IsAttribute(ATTRIBUTE_LIGHT) and c:IsAttackBelow(1200) and c:IsCanBeSpecialSummoned(e, 0, tp, false, false)
  end
  function s.target(e, tp, eg, ep, ev, re, r, rp, chk, chkc)
  	if chkc then
  		return chkc:IsLocation(LOCATION_GRAVE) and chkc:IsControler(tp) and s.filter2(chkc, e, tp)
  	end
  	if chk == 0 then
  		return true
  	end
  	local op = 0
  	Duel.Hint(HINT_SELECTMSG, tp, aux.Stringid(id, 0))
  	local t1 = Duel.IsExistingMatchingCard(s.filter1, tp, LOCATION_DECK, 0, 1, nil)
  	local t2 = Duel.GetLocationCount(tp, LOCATION_MZONE) > 0 and Duel.IsExistingTarget(s.filter2, tp, LOCATION_GRAVE, 0, 1, nil, e, tp)
  	if t1 and t2 then
  		op = Duel.SelectOption(tp, aux.Stringid(id, 1), aux.Stringid(id, 2)) + 1
  	elseif t1 then
  		Duel.SelectOption(tp, aux.Stringid(id, 1))
  		op = 1
  	elseif t2 then
  		Duel.SelectOption(tp, aux.Stringid(id, 2))
  		op = 2
  	end
  	e:SetLabel(op)
  	if op == 2 then
  		Duel.Hint(HINT_SELECTMSG, tp, HINTMSG_SPSUMMON)
  		local g = Duel.SelectTarget(tp, s.filter2, tp, LOCATION_GRAVE, 0, 1, 1, nil, e, tp)
  		Duel.SetOperationInfo(0, CATEGORY_SPECIAL_SUMMON, g, 1, 0, 0)
  		e:SetProperty(EFFECT_FLAG_CARD_TARGET)
  		e:SetCategory(CATEGORY_SPECIAL_SUMMON)
  	elseif op == 1 then
  		Duel.SetOperationInfo(0, CATEGORY_TOGRAVE, nil, 1, tp, LOCATION_DECK)
  		e:SetProperty(0)
  		e:SetCategory(CATEGORY_TOGRAVE)
  	else
  		e:SetProperty(0)
  		e:SetCategory(0)
  	end
  end
  function s.operation(e, tp, eg, ep, ev, re, r, rp)
  	if e:GetLabel() == 2 then
  		local tc = Duel.GetFirstTarget()
  		if tc and tc:IsRelateToEffect(e) then
  			Duel.SpecialSummon(tc, 0, tp, tp, false, false, POS_FACEUP)
  		end
  	elseif e:GetLabel() == 1 then
  		Duel.Hint(HINT_SELECTMSG, tp, HINTMSG_TOGRAVE)
  		local g = Duel.SelectMatchingCard(tp, s.filter1, tp, LOCATION_DECK, 0, 1, 1, nil)
  		if g:GetCount() > 0 then
  			Duel.SendtoGrave(g, REASON_EFFECT)
  		end
  	end
  end
  
  