BUG: Typo in GDC Axioms

[CarterBeauBenson]

Describe the bug The last axiom for generic dependence is "If a generically dependent continuant participates in a process p then, if it is concretized as a process, that process is part of p, fand if concretized as an sdc then the bearer of that sdc participates in the process" I believe that "fand" is intended to be "and". I was silly and had to verify that "fand" is not a technical term.

To Reproduce Steps to reproduce the behavior:

1. Go to https://github.com/BFO-ontology/BFO-2020/blob/master/documentation/axiomatization-pds/generic-dependence.pdf''
2. Click on '....'
3. Scroll down to the final axiom
4. See error "fand"

Expected behavior change to 'and'.

Desktop (please complete the following information): Chrome

[alanruttenberg]

I've fixed this in the source. It will be in the next release of the axiomatization, at which point I will close this issue.