sentences:  Sun = subject
  
  Is = copula
  
  Star = immediate predicate (intermediate predicate) (middle term)
  
  Luminous = remote mediate predicate
  
  Kant calls this process ratiocination.It is the comparison of a remote, mediate predicate with a subject through the use of an intermediate predicate.The intermediate predicate is called the middle term of a rational inference.