All HIFS are PIFS
Some SIFS are RIFS
All ZIFS are SIFS
All PIFS are ZIFS
Which of the following do we know is correct?