You should assume that all of the data on examples is given using the relation:

You need to write a relation:prop(Obj,Att,Val)

that is true if objectdteval(Obj,DT,Cl)

For example, suppose example *e _{1}* defined by

The queryprop(e_1,a,true). prop(e_1,b,true). prop(e_1,c,false).

has as its answer? dteval(e_1,if(b=true,if(a=true,true,false),if(c=true,false,true)),Val).

Axiomatize *dteval*. You can assume the predicate *value(V)* that is
true if *V* is a legal value, as well as the predicates *prop* (as
above) and *\=* (where *W \=V* means *W* and *V* are different values).

Computational Intelligence online material, ©David Poole, Alan Mackworth and Randy Goebel, 1998