I see. Stupidly I imagined that "to choose" ment "choose a known card". They just choose aleatory. But you're right, that's indispensable. Thanks for those explanations.
I have no idea how long you've been playing Dominion, but clearly your forum account is new. The more you're around Dominion, the more you realize how rules-lawyery the universe is (and has to be). There are still things I have to check, but generally most of those "rules disambiguation" sheets that come with the sets are consequences of larger rules about how rules work in general. The longer you stick around, the more you see of this stuff. One general thing Donald does that is very nice is the "accountability clause" - prevent cheating by making players do something to prove that they're following the rules within the playing out of the action itself. Cards with excessively "political" uses are sort of discouraged, too, with mild exceptions like Masquerade that tend to even out over time anyway. The biggest thing that is talked about in the forums and in Donald's head but not in the game box is the "lose track rule", which... I shouldn't try to talk about because I could botch it.
Anyway, it's usually simple, but sometimes it's complicated, and that's why everything is so finnicky, and I've tried my hardest to emulate the word-for-word clarity and intentionality of the writing style. The set's probably not perfect yet, but I've learned a lot about game design and pseudo-programming language-speak that goes beyond just Dominion.
There's a good chance I have made mistakes, and with Property Insurance in particular, I'm not sure how it works out with other "when you trash X" phenomena, or how it would work if I were to change/fix the wording. I *think* the way it's written now, though, Property Insurance can "interrupt" other on-trash effects that depend on keeping track of the trashed card, though. So Job Creator can't pick up a Silver if you rescue it with Property Insurance, but any other cards that were just trashed should be available for the picking. But technically, the player who plays Job Creator *must* stop and wait after the cards are trashed for Reactions to be played before they can gain one treasure from the trash.