CONSTRUCT {Instant1} temporal:after {Instant0}
FROM {Fact0} causal:atInstant   {Instant0},
     {Fact0} causal:wasCausedBy {Fact1},
     {Fact1} causal:atInstant   {Instant1}
USING NAMESPACE
     temporal = <http://twiki.pasoa.ecs.soton.ac.uk/pub/PASOA/Ontologies/temporal.owl#>,
     causal   = <http://twiki.pasoa.ecs.soton.ac.uk/pub/PASOA/Ontologies/causal.owl#>

CONSTRUCT {Instant1} temporal:before {Instant0}
FROM {Fact0} causal:atInstant {Instant0},
     {Fact0} causal:caused    {Fact1},
     {Fact1} causal:atInstant {Instant1}
USING NAMESPACE
     temporal = <http://twiki.pasoa.ecs.soton.ac.uk/pub/PASOA/Ontologies/temporal.owl#>,
     causal   = <http://twiki.pasoa.ecs.soton.ac.uk/pub/PASOA/Ontologies/causal.owl#>