By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 23:35:38
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1:
[ordering by publication from: [r j yeatman]]
is a
ordering by publication from
Fact 1
is true for
all time
I know from locally stored knowledge that:
ordering is assumed complete
is true of every
ordering by publication from
([fact: ["997175746@trueknowledge.com"]])
By calculation (generator: ["trueofevery1@trueknowledge.com"]) I know that:
Fact 2:
ordering is assumed complete
applies to
[ordering by publication from: [r j yeatman]]
Fact 2
is true for
all time
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
R. J. Yeatman
is the first parameter of
[ordering by publication from: [r j yeatman]]
I know from locally stored knowledge that:
is a creator of
is a more general form of
is the author of
([fact: ["123910793@trueknowledge.com"]])
permanent
applies to
is a creator of
([fact: ["123910776@trueknowledge.com"]])
R. J. Yeatman
is the author of
1066 and All That
([fact: ["679222984@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
R. J. Yeatman
is a creator of
1066 and All That
I know from locally stored knowledge that:
1066 and All That
is a
book
([fact: ["129134209@trueknowledge.com"]])
1066 and All That
was first published at timepoint
1930
([fact: ["129134211@trueknowledge.com"]])
Therefore (generator: ["greater_than2@trueknowledge.com"]):
June 19th 2013, 23:35:38
is not earlier than the timepoint
1930
By calculation (generator: ["greater_than2@trueknowledge.com"]) I know that:
June 19th 2013, 23:35:38
is later than the timepoint
1930
By calculation (generator: ["position_by_assumed_complete@trueknowledge.com"]) I know that:
Fact 3:
1066 and All That
is the result of the position class and ordering
last, book and [ordering by publication from: [r j yeatman]]
Fact 3
is true for
1930 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
June 19th 2013, 23:35:38
By calculation (generator: ["position_by_assumed_complete@trueknowledge.com"]) I know that:
Fact 3:
1930
is the value of the position class and ordering
last, book and [ordering by publication from: [r j yeatman]]
Fact 3
is true for
1930 onwards
Facts
Show facts
