What do you mean by "incorrect"? Object types can exist without fact types referring to them (yet).
The toolbox will look at a line with no predicate text and just create the object types <i>with no predicate</i>. In other words, it is impossible to even enter a fact type with no predicate text via the toolbox.
Scot.