Kat either gets along with her colleagues at her work or receives positive feedback from teams at her work.
(∀y (Colleague(y) ∧ GetAlongWithAtWork(kat, y))) ⊕ ReceiveFromAtWork(kat, positiveFeedback, team)