how many christian religion texts are religious texts of st. anthony's day?
(COUNT (AND religion.religious_text (AND (JOIN religion.religious_text.religious_text_of (JOIN (R time.holiday.featured_in_religions) m.011nk6vg)) (JOIN (R religion.religion.texts) m.01lp8))))