Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 assertion_read(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9)

 assertion_body(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)

 comps_to_goal(Arg1, Arg2, Arg3)

 comps_to_goal(Arg1, Arg2, Arg3, Arg4)

 assertion_records(Arg1, Arg2, Arg3, Arg4)

 a_fake_body(Arg1, Arg2, Arg3, Arg4, Arg5)

 assertion_db(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9, Arg10, Arg11)

 assrt_lib_tr(Arg1, Arg2, Arg3, Arg4)