#patty  round flat candy
  supertype:  #candy  a rich sweet made of flavored sugar and often combined with fruit or nuts
  subtype:  #peppermint_patty  a patty flavored with peppermint

No statement uses or specializes #patty; click here to add one.