By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 18th 2013, 23:54:24
I know from locally stored knowledge that:
is someone who had a significant role in
is a more general form of
is a company director of
([fact: ["1230884974@trueknowledge.com"]])
permanent
applies to
is someone who had a significant role in
([fact: ["1230546550@trueknowledge.com"]])
Fact 1:
Steven F Leer
is a company director of
USG Corporation
([fact: ["233941611@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["653115836@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 2:
Steven F Leer
is someone who had a significant role in
USG Corporation
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
June 18th 2013, 23:54:24
I know from locally stored knowledge that:
Fact 3:
Steven F Leer
is a
chief executive officer
([fact: ["702436600@trueknowledge.com"]])
Fact 3
is true at
June 18th 2013, 23:54:24
([unknown object])
Fact 4:
Judith A. Sprieser
is a company director of
USG Corporation
([fact: ["232391215@trueknowledge.com"]])
Fact 4
is true for
January 13th 2009 onwards
([fact: ["653115908@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 2:
Judith A. Sprieser
is someone who had a significant role in
USG Corporation
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
June 18th 2013, 23:54:24
I know from locally stored knowledge that:
Fact 6:
Judith A. Sprieser
is a
chief executive officer
([fact: ["702498116@trueknowledge.com"]])
Fact 6
is true at
June 18th 2013, 23:54:24
([unknown object])