BeliefNet: A Neurosymbolic Model for Context-Based Traversability Predictions in Complex Environments | Synapse