If Robin's friends want to work in the software engineering industry, then they practice coding questions.
∀x (RobinsFriends(x) ∧ WantToWorkIn(x, softwareEngineeringIndustry) → PracticeCodingQuestions(x))