target( [(t2, 1.0)], [(t2,0.8)] ).
target( [(t3, 1.0)], [(t3,0.8)] ).
