The AO2 document suggests examples of lines of reasoning/conclusions for the issues identified in the specification.
Not seeing what you want? Is there are problem with the files? Do you have a suggestion? Please give us feedback, we welcome all correspondence from our users.