Deductive approach Ex.
Reward :
If b [Bin(b, Paris)]  10
Else 0
Do regression via unload
If b[Bin(b, Paris)] 10
Else if bt [On(b,t)Λ Tin(t,Paris) ] 8
Else 0