@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-B4F577F5-H
  skos:prefLabel "propositional calculus"@en, "calcul des propositions"@fr ;
  a skos:Concept ;
  skos:narrower psr:-VQ98Q2SX-F .

psr:-VQ98Q2SX-F
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-B4F577F5-H ;
  skos:prefLabel "tautologie"@fr, "tautology"@en .