Dear all, I am trying to reformulate some lengthy first-order logic (FOL) expressions to make them easier to understand, and to make more clear what is already known and what is new. See here:
https://docs.google.com/document/d/16jG2UlPpjB3BnNYXAt4fHvyUFo6c66nAexbnTjtwu18/edit Let me know what you think. Best, Wolfgang _______________________________________________ Crm-sig mailing list [email protected] http://cidoc-crm.org/crm-sig-mailing-list
