Assertion list
camshaft (aspect of engine ) → AtLocation
Results from Ascent++: 1
camshaft → AtLocation → the cylinder head 0.62