top of page
Block 1: Direct conversions

Block 1: Direct conversions

Definition 1:

{proper noun 1} is a/an/the {singular noun} of {proper noun 2}
equals to
{proper noun 2} has a/an {singular noun}, called {proper noun 1}

Block 1: Definition 1

Examples:

Variables:

  • proper noun 1 = “Paul”,

  • proper noun 2 = “John”,

  • singular noun = “son

Result:​​

  • Given: Paul is a son of John.”

  • Generated conclusion: John has a son, called Paul.”

Variables:

  • proper noun 1 = “Laura”,

  • proper noun 2 = “Anna”,

  • singular noun = “daughter

Result:​

  • Given: Anna has a daughter, called Laura.”

  • Generated conclusion: Laura is a daughter of Anna.”

Block 1: Example 1

Definition 2:

Every {singular noun 1} has a/an {singular noun 2}

equals to

A/An {singular noun 2} is part of every {singular noun 1}

Block 1: Definition 2

Examples:

Variables:

  • singular noun 1 = “car”,

  • singular noun 2 = “engine

Result:

  • Given: Every car has an engine.”

  • Generated conclusion: An engine is part of every car.”

Variables:

  • singular noun 1 = “sailboat”,

  • singular noun 2 = “sail

Result:

  • Given: A sail is part of every sailboat.”

  • Generated conclusion: Every sailboat has a sail.”

Block 1: Example 2
bottom of page