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}

 

Examples 1:

 

Variables: proper noun 1 = “Paul”, proper noun 2 = “John”, singular noun = “son

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

Given:

  • Anna has a daughter, called Laura.”

Generated conclusion:

  • Laura is a daughter of Anna.”

 

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}

 

Examples 2:

Variables: singular noun 1 = “car”, singular noun 2 = “engine

 

Given:

  • Every car has an engine.”

Generated conclusion:

  • An engine is part of every car.”

Variables: singular noun 1 = “sailboat”, singular noun 2 = “sail

Given:

  • A sail is part of every sailboat.”

Generated conclusion:

  • Every sailboat has a sail.”