Assertion: name | /r/HasProperty | lucifer
Facets:
Source sentences:
text: If fallen angels are included in the list of angels who are named in the Bible, two more names should be mentioned: Lucifer/Satan and Apollyon/Abaddon .