<https://w3id.org/framester/pb/data/role/prove-01/prover> <http://www.w3.org/2004/02/skos/core#definition> "prover"@en .
<https://w3id.org/framester/pb/data/role/prove-01/prover> <https://w3id.org/framester/schema/subsumedUnder> <https://w3id.org/framester/pb/data/role/prover> .
<https://w3id.org/framester/pb/data/role/prove-01/prover> <https://w3id.org/framester/schema/subsumedUnder> <https://w3id.org/framester/pb/schema/ARG0> .
<https://w3id.org/framester/pb/data/role/prove-01/prover> <https://w3id.org/framester/schema/subsumedUnder> <https://w3id.org/framester/pb/schema/ARGM-PAG> .
<https://w3id.org/framester/pb/data/role/prove-01/prover> <http://www.w3.org/2000/01/rdf-schema#label> "ARG0-PAG: prover"@en .
<https://w3id.org/framester/pb/data/role/prove-01/prover> <http://www.w3.org/2000/01/rdf-schema#comment> "prover"@en .
<https://w3id.org/framester/pb/data/role/prove-01/prover> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/framester/pb/schema/Role> .