Assertion list
cylinder (aspect of engine ) → AtLocation
Results from Ascent++: 3
cylinder → AtLocation → a car's engine block 0.68
cylinder → AtLocation → tdc 0.44
cylinder → AtLocation → top dead center 0.25