what holiday is of the date 1 shawwal and is a holiday of islam?
Entity
m.0148n3
Eid al-Fitr
class entity entity
time.holiday m.0flw86 m.0plzg7d
time.holiday religion.religion time.day_of_year
Holiday Islam 1 Shawwal
none none none
religion.religion.holidays time.holiday.day_of_year
Holidays Day Of Year
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 . 
VALUES ?x1 { :m.0flw86 } 
VALUES ?x2 { :m.0plzg7d } 
?x1 :religion.religion.holidays ?x0 . 
?x0 :time.holiday.day_of_year ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND time.holiday (AND (JOIN (R religion.religion.holidays) m.0flw86) (JOIN time.holiday.day_of_year m.0plzg7d)))