Block 5: Detection of a conflict and generation of a question

 

Definition 7:

 

Every {singular noun 1} is a/an {singular noun 2} or a/an {singular noun 3}

  • conflicts with

{proper noun} is a/an {singular noun 2} and a/an {singular noun 3}"

 

Every {singular noun 1} is a/an {singular noun 2} or a/an {singular noun 3}

  • and

{proper noun} is a/an {singular noun 1}

  • from which can be concluded

{proper noun} is a/an {singular noun 2} or a/an {singular noun 3}

 

{proper noun} is a/an {singular noun 2} or a/an {singular noun 3}

  • equals to

Is {proper noun} a/an {singular noun 2} or a/an {singular noun 3}?

 

Example 7:

Variables: singular noun 1 = “person”, singular noun 2 = “man”, singular noun 3 = “woman”, proper noun = “Addison

 

Given:

  • Every person is a man or a woman.”

  • Addison is a man and a woman.”

Detected conflict. This sentence is not accepted, because it is in conflict with:

  • Every person is a man or a woman.”

Given:

  • Addison is a person.”

Generated question:

  • Is Addison a man or a woman?

 

Definition 8:

Is {proper noun} is a/an {singular noun 1} or a/an {singular noun 2}?

  • and

{proper noun} is not a/an {singular noun 1}

  • from which can be concluded

{proper noun} is a/an {singular noun 2}

 

Is {proper noun} a/an {singular noun 1} or a/an {singular noun 2}?

  • and

{proper noun} is not a/an {singular noun 2}

  • from which can be concluded

{proper noun} is a/an {singular noun 1}

 

Example 8:

Variables: proper noun = “Addison”, singular noun 1 = “man”, singular noun 2 = “woman

 

Given:

  • Addison is not a woman.”

Detected that the generated question has been answered:

  • Is Addison a man or a woman?

Generated conclusion:

  • Addison is a man.”