which is the text of a religion that is part of satanism?
(AND religion.religious_text (JOIN (R religion.religion.texts) (JOIN religion.religion.is_part_of m.06x2m)))