Undocumented predicates

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

 exactlyAssertedEL_next(Arg1, Arg2, Arg3, Arg4)

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

 exactlyAssertedEL_next(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

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

 exactlyAssertedEL_first(Arg1, Arg2, Arg3, Arg4)

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

 exactlyAssertedEL_first(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

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

 assertedTinyKB_implies_first(Arg1, Arg2, Arg3, Arg4)

 assertedTinyKB_not_first(Arg1, Arg2, Arg3)

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

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

 exactlyAssertedEL_with_vars(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 assertedTinyKB_implies_Already(Arg1, Arg2, Arg3, Arg4)

 assertedTinyKB_not(Arg1, Arg2, Arg3)

 assertedTinyKB_implies(Arg1, Arg2, Arg3, Arg4)