which football match has referee pedro proença?
(AND soccer.football_match (JOIN soccer.football_match.referee m.07s9sx2))