top of page

Block 3: Grouping of knowledge (specifications)

Block 3: Block 3: Grouping of knowledge

Definition 4:
​
{proper noun 1} has {positive number 1} {singular or plural noun}
and
{proper noun 2} has {positive number 2} {singular or plural noun}
equals to
Together, {proper noun 1} and {proper noun 2} have {positive number 1 + positive number 2} {plural noun}

Block 3: Definition 4

Example:
​
Variables:
  • proper noun 1 = “
John”,
  • proper noun 2 = “
Peter”,
  • positive number 1 = 3,
  • positive number 2 = 4,
  • singular/plural noun = “
apple”/“apples

Result:
  • Given: “
John
has 3 apples.”
  • Given: “
Peter
has 4 apples.”
  • Generated conclusion: “
Together, John and Peter have 7 apples.”

Block 3: Example 4

No screenshot available, because this natural reasoning construct is not implemented yet. It will be published in the second half of 2025.

bottom of page