Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis