A Logical Framework for Categorizing Highway Safety Phenomena and Activity | Synapse