Somebody has a car. Not everyone has a car. If it rains tuesday then I will wear rain gear or carry my ubrella, but not both. Sally and Nancy will go. Sam will go, either Bill or Sally will go, and also Nancy will go.
Some courses have no midterms.
Some things to notice about the examples. Logical variable are capitalized, as for Prolog variables. Proper names have been translated as Prolog constants in lower case. Notice again that bigger Prolog op-precedence means that the operator has less power to grab surrounding terms. Most of this relative precendece ordering is standard in logic and programming.