 where \(\models\) is a binary relation such that \(a \models T\) if the instance \(a\) is of type \(T\).  In a simplistic analysis of the radar example, one could posit at least three classifications, one for the monitor screen, one for the flying plane, and one for the whole monitoring system: 