By calculation (generator: ["now@trueknowledge.com"]) I know that:

The current time is July 26th 2014, 03:15:29

I know from locally stored knowledge that:

is more populous than
is a left comparison of
is the population of
([fact: ["127562353@trueknowledge.com"]])

Fact 1:
5,094,800
is the population of
Scotland
([fact: ["15583038@trueknowledge.com"]])

Fact 1
is true for
December 8th 2006, 11:11 onwards
([fact: ["1006495574@trueknowledge.com"]])

Fact 2:
4,581,269
is the population of
Ireland
([fact: ["2330180806@trueknowledge.com"]])

Fact 2
is true for
August 12th 2011 onwards
([fact: ["2330180818@trueknowledge.com"]])

By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:

5,094,800
is greater than
4,581,269

Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):

5,094,800
is not less than
4,581,269

5,094,800
is not the same as
4,581,269

By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:

August 12th 2011 onwards
is the timeperiod intersection of
December 8th 2006, 11:11 onwards and August 12th 2011 onwards

By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:

Fact 3:
Scotland
is more populous than
Ireland

Fact 3
is true for
August 12th 2011 onwards

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 3
is true at
July 26th 2014, 03:15:29