the religion that has the belief of universal compulsory education features what holiday?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.0cgwkdh m.03cyynt m.0cgwkd8 m.026d94r m.0_tk4n3 m.02q3f99 m.034rm8 m.0_m2njw m.0cgwkdp m.0cgwkd2
Birth of the Báb Day of the Covenant Declaration of the Báb Birth of Bahá'u'lláh Twelfth Day of Ridvan Bahá'í Naw-Rúz Ridván Ascension of Abdu'l-Baha Ascension of Bahá'u'lláh Martyrdom of the Báb
class class entity
time.holiday religion.religion m.05t2z1x
time.holiday religion.religion religion.belief
Holiday Religion Universal compulsory education
none none none
time.holiday.featured_in_religions religion.belief.belief_of
Featured in religions Belief Of
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :time.holiday . 
?x1 :type.object.type :religion.religion . 
VALUES ?x2 { :m.05t2z1x } 
?x0 :time.holiday.featured_in_religions ?x1 . 
?x2 :religion.belief.belief_of ?x1 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND time.holiday (JOIN time.holiday.featured_in_religions (JOIN (R religion.belief.belief_of) m.05t2z1x)))