Wind blows/Logical representation/Exercise

Formalize the statement "If the wind of change is blowing, some build walls and some build windmills“ with propositional variables and with logical connectives.