Assertion list
operation (aspect of cpu ) → SimilarTo
Results from Ascent++: 2
operation → SimilarTo → first embodiment 0.36
operation → SimilarTo → the operations of the steps 0.28