Definition:Formal Semantics of Structures for Predicate Logic