bislunsa lujvo

x1 is frost condensed on x2 at temperature x3, pressure x4.