OpenAtlas

I was using the CIDOC validator (https://demo.openatlas.eu/overview/model#) and recognized, that "P176 starts before the start of" is not included. I was wondering if that is on purpose (as we've already discussed for other Entities and Properties in another ticket) or if this is actually a bug.
The same goes for "P175 starts before or with the start of", "P182 ends before or with the start of" and "P183 ends before the start of"