Mark is Robin's friend and he neither practices coding questions nor works to work in the software engineering industry.
RobinsFriends(mark) ∧ ¬(Practice(mark, codingQuestion) ∨ WantToWorkIn(mark, softwareEngineeringIndustry))