Assertion: straight flush's card | /r/HasProperty | public
Facets:
Source sentences:
text: In the straight case, if the highest card of the straight is public, then it's technically always a tie, no matter what the players had as second private card (asuming that only one of the two cards was part of the straight).