Inference of Abstraction for Grounded Predicate Logic