They are in love with each other.
The couple is very much in love with each other.
People in love are called couple.
exists p1 x1.(n_thing(x1) & all x3.(n_other(x3) -> with(p1,x3)) & exists x2.(in(x1,x2) & n_love(x2)))
exists s1 x1 x2.(n_couple(x1) & all x3.(n_other(x3) -> (in(s1,x2) & with(x2,x3))) & n_love(x2) & r_very(s1) & Theme(s1,x1) & a_much(s1))