Practical Markov Logic Containing First-Order Quantifiers with Application to Identity Uncertainty