extracting problem symmetries from relational theories and exploitation in logistics