Question: Jorge Nuno de Lima Pinto da Costa  is what to the  professional football team playing in the Primeira Liga, the top flight of Portuguese football?
Sentence (from "FC Porto"): Futebol Clube do Porto, (] ), commonly known as FC Porto or simply Porto, is a Portuguese sports club based in Porto.
Relevant evidence: No