L0.PGraph <T L0.Entity
>-- L0.PGraph.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
@L0.assert L0.PGraph.definition ""
L0.PGraph <T L0.Entity
>-- L0.PGraph.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
@L0.assert L0.PGraph.definition ""