First-order predicate logic. Nottingham arrivals. Koda dolly's factory.

Project objective example. สุกี้ตี๋น้อย โคราช จอหอ.