I have a question if First Order Predicate Logic always has to include quantifiers? E.g. in the sentence, A black dog bit a small child, would it be:
∀𝑥: Bit (dog, child) ?
Therefore, in the sentence All the children who live in Otley know each other, would it be:
∃𝑥: Know(x, y)
∃𝑥: Know (x, child) ?