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

The current time is April 18th 2014, 21:24:58

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

US quart
is the second parameter of
4 US quarts

I know from locally stored knowledge that:

US customary pint
is the optimum conversion unit for
US quart
([fact: ["644332436@trueknowledge.com"]])

Fact 1:
2
is the multiplier that converts
US quart and US customary pint
([fact: ["643458892@trueknowledge.com"]])

Fact 1
is true for
all time
([fact: ["1050413278@trueknowledge.com"]])

Fact 1
is true for
the beginning of time onwards
([fact: ["684532688@trueknowledge.com"]])

Fact 2:
2
is the multiplier that converts
US customary pint and US cup
([fact: ["644333152@trueknowledge.com"]])

Fact 2
is true for
all time
([fact: ["1050413534@trueknowledge.com"]])

Fact 2
is true for
the beginning of time onwards
([fact: ["684532648@trueknowledge.com"]])

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

all time
is the timeperiod intersection of
all time and all time

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

4
is the product of
2 and 2

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

Fact 3:
4
is the multiplier that converts
US quart and US cup

Fact 3
is true for
all time

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

Fact 3
is true at
April 18th 2014, 21:24:58

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

Fact 3
is true for
the beginning of time onwards

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

the beginning of time onwards
is the timeperiod intersection of
the beginning of time onwards and the beginning of time onwards

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

4
is the first parameter of
4 US quarts

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

16
is the product of
4 and 4

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

volume
is the class of the parametered object
4 US quarts

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

16 US cups
is the parametered object corresponding to
volume and 16 and US cup

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

Fact 4:
16 US cups
is equivalent to
4 US quarts

Fact 4
is true at
April 18th 2014, 21:24:58

Fact 4:
US cup
is the unit used in
16 US cups