Studies[Sally, Math]
Likes[x, ComputerScience] IF Knows[x, Programming]
Knows[Mary, Programming]