**Input: PROO {Ontology}**

```
Output: machine interpretable rule {A➔B}
```