what battery is of the size aa batteries?
(AND engineering.battery (JOIN engineering.battery.size m.05f08s))