Class is meant to supplement the rules with an understanding of why certain words are translated certain ways and why the primitive rules work in the manner that they do. In short, translations are meant to preserve semantic content and the primitive rules are designed to be truth-preserving. Most people find it helpful to break down sentences into smaller pieces, then slowly construct the entire sentence. John loves someone. A good start is to find the predicates involved, determine if any names are present, and discern what type of quantification, if any, is being used.
Some lizards are sneaky and some are fast, but none are sneaky and fast.
No machine is consious. If Marcus gets a job, then anyone can get a job. Whichever translation you understand best is the one you should use. Prove the following arguments. Often, strategies that worked in sentential logic will work here.