By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 26th 2013, 05:12:27
I know from locally stored knowledge that:
book
is a
type of thing that is published
([fact: ["722477488@trueknowledge.com"]])
Enid Bagnold
is the author of
National Velvet
([fact: ["648704572@trueknowledge.com"]])
Enid Bagnold
is the author of
The Happy Foreigner
([fact: ["164502795@trueknowledge.com"]])
The Happy Foreigner
is a
book
([fact: ["164502807@trueknowledge.com"]])
National Velvet
is a
book
([fact: ["129155911@trueknowledge.com"]])
By calculation (generator: ["count_published@trueknowledge.com"]) I know that:
Fact 1:
facts of the form: Enid Bagnold is the author of X (where X is an instance of book)
is an extended fact pattern with order
at least 2
Fact 1
is true for
2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 26th 2013, 05:12:27
