Individual kif#true
  type:  pm#boolean  two instances: true and false

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