用欧拉图表示性质命题的主项（S）和谓项（P）的关系。已知“有S是P”为真，请用欧拉图表示S和P之间的各种关系，并举出实例。