what is the name of the holiday category that is the holiday with a holiday category of bank holidays?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.0znd8dj m.02h7bqs m.0znx071 m.021lpt m.02vnpl5 m.02h7b56 m.02h78p7 m.01g5pq m.09gqnmd m.03wly3b
Public Holiday in Nepal International holiday Public Holiday in Laos National Day Secular Holiday Pagan holiday Western Christian Holiday US Federal holiday Public holiday US trading holiday
class class entity
time.holiday_category time.holiday m.014w0v
time.holiday_category time.holiday time.holiday_category
Holiday Category Holiday bank holidays
none none none
time.holiday.type_of_holiday time.holiday.type_of_holiday
Holiday Category Holiday Category
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_category . 
?x1 :type.object.type :time.holiday . 
VALUES ?x2 { :m.014w0v } 
?x1 :time.holiday.type_of_holiday ?x0 . 
?x1 :time.holiday.type_of_holiday ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND time.holiday_category (JOIN (R time.holiday.type_of_holiday) (JOIN time.holiday.type_of_holiday m.014w0v)))