SEAN 2.0: Formalizing and Generating Social Situations for Robot Navigation · Study