Bridging logic and kernel machines