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

@prefix : <sem1#>.

:John a :Student.
:John a :Employee.

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