@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix do: <hdl:1721.1/#> .
@prefix : <#> .

do:Enterprise complies :Sarbanes-Oxley

do:Enterprise audited "2006-07-11T12:13:12Z"

@forall do:dataSource .
{ do:dataSource agrees do:submissionAgreement }
log:implies
{ do:dataSource valid .}

@forall do:depositor .
{ do:depositor must have do:depositAgreement }
log:implies
{ do:depositor valid .}

@forall :dateTime
{ :dateTime equals do:reviewDate }
log:implies
{ do:reviewCommittee review do:sysreq. do:reviewCommittee review do:sysarch }