I agree with others that this comment has increased my understanding greatly. Perhaps since this is a linguistic example, it resonates. Thank you for replying.

I agree with others that this comment has increased my understanding greatly. Perhaps since this is a linguistic example, it resonates. Thank you for replying. To add a bit of info, there is a system named Attempto Controlled English which uses a subset of Natural Language to express axioms. It is available here https://github.com/chrisdone/ace https://github.com/chrisdone/ace and here https://github.com/Attempto/APE https://github.com/Attempto/APE How would one associate patterns of axioms with appropriate relations in Category Theory ?