Once we have the formula, how do we process it?

{ :a :b :c.   :d :e :f. } 
log:includes { :a :b :c. }.

If someone's home page says that they are a vegetarian, then we believe that they are a vegetarian:

this log:forAll :x.
{:x :homePage log:includes 
            { :x a :Vegetarian }}
=> { :x a :Vegetarian}. 

This is a case where we need explicit quantification. With ?x, we would be talking about pages saying "everyone is a vegetarian".