BornIn(ailtonSilva, year1995) ∧ CommonlyKnownAs(ailtonSilva, ailton)
FootballPlayer(ailton) ∧ LoanedTo(ailton, braga)
Brazilian(ailtonSilva) ∧ Footballplayer(ailtonSilva) ∧ PlayFor(ailtonSilva, nautico)
FootballClub(nautico) ∧ FootballClub(braga)
FootballClub(fluminense)
PlayFor(ailtonSilva, fluminense)