likes( mary, tom ). likes( tom, susan ).