Translated 36 traffic rules in the 2020 California Driver Handbook into machine-interpretable language using STL/PSTL so that autonomous vehicles software can learn the extents to which humans follow rules in practice and improved generated formalization from Few-Shot Learning, such as GPT-NEO