name: 堕天使エデ・アーラエ
card_text: 1:墓地から特殊召喚したこのカードは以下の効果を得る。
  ●このカードが守備表示モンスターを攻撃した場合、その守備力を攻撃力が超えた分だけ戦闘ダメージを与える。
lua: local s, id, o = GetID()
  function s.initial_effect(c)
  	--spsum success
  	local e1 = Effect.CreateEffect(c)
  	e1:SetType(EFFECT_TYPE_SINGLE + EFFECT_TYPE_CONTINUOUS)
  	e1:SetCode(EVENT_SPSUMMON_SUCCESS)
  	e1:SetOperation(s.gete)
  	c:RegisterEffect(e1)
  end
  function s.gete(e, tp, eg, ep, ev, re, r, rp)
  	local c = e:GetHandler()
  	if not c:IsPreviousLocation(LOCATION_GRAVE) then
  		return
  	end
  	local e1 = Effect.CreateEffect(c)
  	e1:SetType(EFFECT_TYPE_SINGLE)
  	e1:SetCode(EFFECT_PIERCE)
  	e1:SetReset(RESET_EVENT + RESETS_STANDARD + RESET_DISABLE)
  	c:RegisterEffect(e1)
  end
  
  
source_text: 堕天使エデ・アーラエ
  1:墓地から特殊召喚したこのカードは以下の効果を得る。
  ●このカードが守備表示モンスターを攻撃した場合、その守備力を攻撃力が超えた分だけ戦闘ダメージを与える。
target_text: -- 堕天使エデ・アーラエ
  local s, id, o = GetID()
  function s.initial_effect(c)
  	--spsum success
  	local e1 = Effect.CreateEffect(c)
  	e1:SetType(EFFECT_TYPE_SINGLE + EFFECT_TYPE_CONTINUOUS)
  	e1:SetCode(EVENT_SPSUMMON_SUCCESS)
  	e1:SetOperation(s.gete)
  	c:RegisterEffect(e1)
  end
  function s.gete(e, tp, eg, ep, ev, re, r, rp)
  	local c = e:GetHandler()
  	if not c:IsPreviousLocation(LOCATION_GRAVE) then
  		return
  	end
  	local e1 = Effect.CreateEffect(c)
  	e1:SetType(EFFECT_TYPE_SINGLE)
  	e1:SetCode(EFFECT_PIERCE)
  	e1:SetReset(RESET_EVENT + RESETS_STANDARD + RESET_DISABLE)
  	c:RegisterEffect(e1)
  end
  
  