@prefix : <http://ethon.consensys.net/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:createsPostBlockState a owl:FunctionalProperty,
owl:InverseFunctionalProperty,
owl:ObjectProperty ;
rdfs:label "creates post Block execution State"@en ;
:suggestedStringRepresentation "createsPostBlockState" ;
rdfs:comment "Relates a block to the global state of the system after all transactions in the block have been executed."@en ;
rdfs:domain :Block ;
rdfs:range :WorldState ;
rdfs:subPropertyOf :createsState ;
ns:term_status "unstable" .