o silogismo é o estudo dos parques de estacionamento em altura?