zo'urkai lujvo

x1 is a proposition that satisfies the property expressed by the most recent prenexed adverb.