Dear Wolfgang,
I am happy with all, except for at O39:
P40(x,y) ⇔ O39(x,y) ∧ E16(x) ∧ ¬S25(y)
P40(x,y) ⇔ O39(x,y) ∧ E16(x)
I believe the second line should be deleted, isn't it?
Cheers,
Martin
On 3/16/2026 3:48 PM, Eleni Tsouloucha wrote:
Dear all,
Please take a moment to review Wolfgang's HW on issue 681
https://docs.google.com/document/d/10ok7YykspGNCWBaq06PYBEYSYgI29csC7MzOrASr6bw/edit?usp=sharing
It's about the exclusion statements for P40, P39
The HW will be discussed on Monday 23 March (Session 1.3).
All the best,
--
Eleni Tsouloucha
Philologist - MA Linguistics & Language Technologies
Center for Cultural Informatics
Information Systems Laboratory - Institute of Computer Science
Foundation for Research and Technology - Hellas (FORTH)
Address: N. Plastira 100, GR-70013 Heraklion, Grece
email: [email protected], [email protected]
Tel: +30 2810391488
--
------------------------------------
Dr. Martin Doerr
Honorary Head of the
Center for Cultural Informatics
Information Systems Laboratory
Institute of Computer Science
Foundation for Research and Technology - Hellas (FORTH)
N.Plastira 100, Vassilika Vouton,
GR70013 Heraklion,Crete,Greece
Email:[email protected]
Web-site:http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
[email protected]
http://cidoc-crm.org/crm-sig-mailing-list
