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 |