what is the number of defunct teams that play the same sport as the teams in the 2001–02 bundesliga?
Value
9
class class class entity
sports.defunct_sports_team sports.sport soccer.football_team m.05jfb6
sports.defunct_sports_team sports.sport soccer.football_team soccer.football_league_season
Defunct Sports Team Sport Football team 2001–02 Bundesliga
count none none none
sports.defunct_sports_team.sport sports.sports_team.sport soccer.football_league_season.teams
Sport Sport Teams
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 (COUNT(?x0) AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :sports.defunct_sports_team . 
?x1 :type.object.type :sports.sport . 
?x2 :type.object.type :soccer.football_team . 
VALUES ?x3 { :m.05jfb6 } 
?x0 :sports.defunct_sports_team.sport ?x1 . 
?x2 :sports.sports_team.sport ?x1 . 
?x3 :soccer.football_league_season.teams ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x0 != ?x3 && ?x1 != ?x2 && ?x1 != ?x3 && ?x2 != ?x3  )
}
}
(COUNT (AND sports.defunct_sports_team (JOIN sports.defunct_sports_team.sport (JOIN (R sports.sports_team.sport) (JOIN (R soccer.football_league_season.teams) m.05jfb6)))))