@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix : <SocratesP#> .

<> owl:imports <SocratesA> .
:Socrates a :Man .