a pulley is a kind of simple machine
pulley is not machine. pully is device. idle_pulley is not pulley. pulley is not tool. idle_pulley is pulley. pully is not device. pulley is tool. pulley is mechanical_device. pulley is machine. pulley is not mechanical_device.