Issue 570: FOL statements in prose -appropriate section of class/property definitions

ID: 
570
Starting Date: 
2021-11-12
Working Group: 
3
Status: 
Open
Background: 

In the 51st CIDOC CRM & 44th FRBRoo SIG meeting, the SIG resolved to work out a well-formulated proposal for where the text rendering FOL statements should be put in the definitions of classes and properties. Probably at the end of the text, right before the examples. 

HW: MD to provide a reading guide for the FOL and where it goes on scope notes. GH, TV, CEO to proofread.

Comments on how to read the FOL statements: 
(i) maybe the labels of classes/properties should appear as well 
(ii) maybe we could draft graphs for the FOL statements.