Three players.
Player A plays a knight.
Player B reveals a knight and a Rats.
Player B asks if he may see what 2 cards player C reveals before he decides what to trash.
We ruled that player B must trash before player C reveals 2 cards. Was that right?
The FAQ says: "The ability they have in common is, each other player reveals the top two cards of their deck, trashes one of them that they choose that costs from $3 to $6, and discards the rest; then, if a Knight was trashed, you trash the Knight you played that caused this trashing. Resolve this ability in turn order, starting with the player to your left."
The wording "the ability" suggests that revealing and trashing is an uninterruptible unit and that there is no sequence point after the revealing.
But if player B chooses to trash the Rats, the +1 card should still happen before player B's knight is discarded. So there is some finer grained structure of sequence points that on-trash can latch on, but per-player cannot.
In general, how can I know where the sequence points of a card are? Is only each full-stop or semicolon a sequence point? And which sequence points are for on-something interrupt effects and which sequence points are for per-player?