I know from locally stored knowledge that:
Fact 1:
Bob Hawke
is the prime minister of
Australia
([fact: ["162583238@trueknowledge.com"]])
Fact 1
is true for
March 11th 1983 - December 20th 1991
([fact: ["162583423@trueknowledge.com"]])
Fact 2:
Australia
is a
democratic monarchy
([fact: ["137106302@trueknowledge.com"]])
Fact 2
is true for
1901 onwards
([fact: ["137106308@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 15:04:21
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 11th 1983 - December 20th 1991
is the timeperiod intersection of
March 11th 1983 - December 20th 1991 and 1901 onwards
By calculation (generator: ["political_leader1@trueknowledge.com"]) I know that:
Fact 3:
Bob Hawke
is the political leader of
Australia
Fact 3
is true for
March 11th 1983 - December 20th 1991
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
1985
By calculation (generator: ["containedwithin1@trueknowledge.com"]) I know that:
March 11th 1983 - December 20th 1991
is contained within
1901 onwards
I know from locally stored knowledge that:
Fact 4:
Paul Keating
is the prime minister of
Australia
([fact: ["127580605@trueknowledge.com"]])
Fact 4
is true for
December 20th 1991 - March 11th 1996
([fact: ["127580606@trueknowledge.com"]])
Fact 4
is true for
March 11th 1983 - June 3rd 1991
([fact: ["2156862542@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 20th 1991 - March 11th 1996
is the timeperiod intersection of
December 20th 1991 - March 11th 1996 and 1901 onwards
By calculation (generator: ["political_leader1@trueknowledge.com"]) I know that:
Fact 3:
Paul Keating
is the political leader of
Australia
Fact 3
is true for
December 20th 1991 - March 11th 1996
By calculation (generator: ["political_leader3@trueknowledge.com"]) I know that:
Fact 3
is true for
March 11th 1983 - June 3rd 1991
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
1985
By calculation (generator: ["containedwithin1@trueknowledge.com"]) I know that:
March 11th 1983 - June 3rd 1991
is contained within
1901 onwards