selziltercla lujvo

x2 is the longest direction of x1.

Does not however assert that the x1 is long in that direction.