CIN 4 at MIA 7, 2017-07-28

Cincinnati Reds at Miami Marlins, 2017-07-28, final 4-7: the score, both clubs' lines and each player's line where the data keeps them.