#   Conclusion: John is an instance of the intersection of Student and Employee

@prefix : <sem1#>.

@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.

:John a [ ont:intersectionOf (:Student :Employee) ].