By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
Scotland
is strictly equal to
Scotland
I know from locally stored knowledge that:
Scotland
is a
geographical area
([fact: ["361782319@trueknowledge.com"]])
By calculation (generator: ["geographically_located_within_or_equal_to2@trueknowledge.com"]) I know that:
Scotland
is geographically located within or is equal to
Scotland
I know from locally stored knowledge that:
Scotland
is a
trading day area
([fact: ["20043029@trueknowledge.com"]])
Fact 1:
January 2nd 2009
is a
the day after New Year's Day
([fact: ["20063766@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
the day after New Year's Day
is a subclass of
[holiday by date within trading day area: [scotland]]
([fact: ["105707326@trueknowledge.com"]])
permanent
applies to
the day after New Year's Day
([fact: ["20063454@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
January 2nd 2009
is a
[holiday by date within trading day area: [scotland]]
Fact 2
is true for
all time
By calculation (generator: ["public_holiday_in@trueknowledge.com"]) I know that:
January 2nd 2009
is a public holiday in
Scotland