Assertion list
specification (primary) → CreatedBy
Results from Ascent++: 3
specification → CreatedBy → set_output_to_file 0.27
specification → CreatedBy → set_output_to_java 0.27
specification → CreatedBy → set_output_to_sql 0.27