(sme:defdescription (explicitCaseFn Car-Simple)
 entities (rear-axle front-axle car1 chassis1 front-left-tire
           front-right-tire rear-left-tire rear-right-tire)
 expressions ((isa rear-right-tire Wheel) (isa rear-left-tire Wheel)
              (isa front-right-tire Wheel) (isa front-left-tire Wheel)
              (isa chassis1 Chassis-VehiclePart) (isa car1 Automobile)
              (parts car1 front-axle) (parts car1 rear-axle)
              (parts car1 chassis1) (parts car1 front-left-tire)
              (parts car1 front-right-tire) (parts car1 rear-left-tire)
              (parts car1 rear-right-tire)
              (connectedTo chassis1 front-axle)
              (connectedTo chassis1 rear-axle)
              (connectedTo front-axle front-left-tire)
              (connectedTo front-axle front-right-tire)
              (connectedTo rear-axle rear-left-tire)
              (connectedTo rear-axle rear-right-tire)
              (inFrontOf-Directly front-left-tire rear-left-tire)
              (inFrontOf-Directly front-right-tire rear-right-tire)
              (isa front-axle AutoBodyPart)
              (isa rear-axle AutoBodyPart))
)