du'enta fu'ivla

x1 is a property satisfied by too great a number for x2 to be the case.