Closed syphax-bouazzouni closed 10 months ago
p1 distinct_of_p2 enforce that for A p1 B and A p2 C; then B is different or not included in C
p1 distinct_of_p2
A p1 B
A p2 C
implemented in https://github.com/ontoportal-lirmm/goo/pull/27
Requirement
p1 distinct_of_p2
enforce that forA p1 B
andA p2 C
; then B is different or not included in C