Predicative types inherit their representational features from both their actual and possible tokens...