Elephant = { clyde, dumbo, tuffi } Keeper = { fred, hank } type( likes(Elephant, Keeper) ) ( likes(X, Y) )[0.9] ( likes(X, fred) )[0.3] ( likes(clyde, fred) )[1.0]