Assertion: devil | /r/Synonym | lucifer
Facets:
value: often
type: TEMPORAL
Source sentences:
text: The devil is sometimes called Lucifer, particularly when describing him as an angel before his fall, although the reference in Isaiah 14:12 to Lucifer (Latin Luciferus, "bringer of light"), the "son of the dawn", is a reference to a Babylonian king.
text: Still, the name stuck and the Devil is often referred to as Lucifer.