Moonwatch is a mechanical watch.
No watch that is battery-powered is automatic. All digital watches are battery-powered. Some mechanical watches are automatic. All smart watches are digital. Moonwatch is not a digital watch or an automatic.
∀x (BatteryPoweredWatch(x) → ¬AutomaticWatch(x)) ∀x (DigitalWatch(x) → BatteryPoweredWatch(x)) ∃x (MechanicalWatch(x) ∧ AutomaticWatch(x)) ∀x (SmartWatch(x) → DigitalWatch(x)) ¬DigitalWatch(moonwatch) ⊕ AutomaticWatch(moonwatch)