Therefore we can recognize a subject-predicate proposition if we know it contains only one name and one form, etc. This gives the construction of types. Hence the type of a proposition can be recognized by its symbol alone.
7