Bottom-Driven Semantic Monotonicity