/* frank sang with judy, frank sang with dean */
sang_with(frank, judy).
sang_with(frank, dean).