Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions