Assertion list
operation (primary) → SimilarTo
Results from Ascent++: 2
operation → SimilarTo → in the first embodiment 0.40
operation → SimilarTo → the operation of the embodiment 0.32