An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II) (Logical Methods in Computer Science, 2020)