Learning Social Navigation from Positive and Negative Demonstrations and Rule-Based Specifications | Synapse