my yacht is longer at than at (more precisely: if my counterpart at has a longer yacht than my counterpart at (to be still more precise, decide what to do when there are multiple counterparts or multiple yachts)); let be true at in relation to iff