These often trip people up:
* P (transitive)
* 'directly P' (not declared transitive)
Or:
* PQ <- P o Q
* Q
Where P is locally reflexive
The helper relations are also defined in the ontology but not separately
Original issue reported on code.google.com by cmung...@gmail.com on 5 Mar 2015 at 3:26
Original issue reported on code.google.com by
cmung...@gmail.com
on 5 Mar 2015 at 3:26