Milanese(carrozzeriaColli) ∧ CoachBuilder(carrozzeriaColli) ∧ Company(carrozzeriaColli) ∧ EstablishedBy(carrozzeriaColli, giuseppeColli) ∧ EstablishedIn(carrozzeriaColli, 1931)
Company(carrozzeriaColli) ∧ SpecializesIn(carrozzeriaColli, usingAluminum)
∀x (BuiltBy(x, carrozzeriaColli) ∧ FirstAutomobile(x) → RacingCar(x))
∃x (BuiltBy(x, carrozzeriaColli) ∧ RacingCar(x) ∧ Used(x, fiat1100mechanicals) ∧ Used(x, chassis))
∃x (Airforce(x) ∧ WorkedFor(carrozzeriaColli, x))
∃(CarBody(x) ∧ Made(x, carrozzeriaColli))
∃x (CarBody(x) ∧ Made(x, carrozzeriaColli) ∧ MadeIn(x, 1931))