This step is vital for us to understand the different components of our world correctly. Our target for this process is to define a set of predicates that we can evaluate to be either TRUE or FALSE. This target requires that we also define the syntax and semantics of our domain through predicate logic. However,