what holiday category is the holiday with a holiday category of us federal holiday?
Entity Entity Entity Entity Entity Entity Entity Entity
m.0znd8dj m.02h7bqs m.0znx071 m.014w0v m.021lpt m.02h78p7 m.09gqnmd m.03wly3b
Public Holiday in Nepal International holiday Public Holiday in Laos Bank holiday National Day Western Christian Holiday Public holiday US trading holiday
class class entity
time.holiday_category time.holiday m.01g5pq
time.holiday_category time.holiday time.holiday_category
Holiday Category Holiday US Federal holiday
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.01g5pq } 
?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.01g5pq)))