Scene graphs and logic formulas let self-driving cars find dangerous moments in video. — Synthesis