First-order logical filtering