Edits for Syntax and Semantics: Structures for FOL

Nicoles edits + an example of a structure