On the Satisfiability of Local First-Order Logics with Data (Logical Methods in Computer Science, 2024)