If someone is a seasoned software engineer interviewer at Google, then they know what breath-first-search is.
∀x (Seasoned(x) ∧ SoftwareEngineerInterviewer(x) ∧ At(x, google) → Know(x, breathFirstSearch))