Find!
x1 is coitus/mating/sex/sexual activity (more accurately: the event therof) between x2 and/with x3
x2 and x3 are mutually symmetric.