Abstract As exact inference for fifirst-order probabilistic graphical models at the propositional level can be formidably expensive, there is an ongoing effort to design effificient lifted inference algorithms for such models. This paper discusses directed fifirst-order models that require an aggregation operator when a parent random variable is parameterized by logical variables that are not present in a child random variable. We introduce a new data structure, aggregation parfactors, to describe aggregation in directed fifirst-order models. We show how to extend Milch et al.’s C-FOVE algorithm to perform lifted inference in the presence of aggregation parfactors. We also show that there are cases where the polynomial time complexity (in the domain size of logical variables) of the C-FOVE algorithm can be reduced to logarithmic time complexity using aggregation parfactors