Assertion: straight flush's card | /r/HasProperty | held by any player
Facets:
value: in the hand
type: OTHER
Source sentences:
text: A kicker can be used, however, if the fifth community card is higher than any card held by any player still in the hand, then the hand is considered a tie and the pot is split.
text: In some game variations such as stud poker, some of the cards held by each player are seen by all players.