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".

3 of 17 |