RelEx2Logic representation

From OpenCog
Jump to: navigation, search

This page contains the documentation of some of the RelEx2Logic rules' final OpenCog representation, based on RelEx2Logic Rules. These documentation are based on the old Java implementation and not the new Unified Rule Engine based implementation.

See also a proposal to replace the current R2L with a Lojbanic Relex2Logic

Common

In addition to the type of nodes described below, each word instance is also linked to the original word, just like LemmaLink does for RelEx OpenCog output.

(InheritanceLink (stv 0.99000001 0.99000001)
   (ConceptNode "beautiful@a9a7b1b7-92b6-4c9a-922a-d1637e076b0f" (stv 0.001 0.99000001))
   (ConceptNode "beautiful" (stv 0.001 0.99000001))
)
(ImplicationLink (stv 0.99000001 0.99000001)
   (PredicateNode "thinks@151ea4cd-b9f0-417c-94b7-61effab2493b" (stv 0.001 0.99000001))
   (PredicateNode "think" (stv 0.001 0.99000001))
)

SV and related rules

BE

Cats are animals.
(InheritanceLink (stv 0.99000001 0.99000001)
   (ConceptNode "cats@37e89c61-27ba-4050-8f7b-9277f10f6107" (stv 0.001 0.99000001))
   (ConceptNode "animals@49d988dc-1229-43b3-8918-53d3c4b95eef" (stv 0.001 0.99000001))
)
Who is Socrates?
(InheritanceLink
   (ConceptNode "Socrates@bfc32e21-fe15-40d8-9f8e-1a01ac6c075e" (stv 0.001 0.99000001))
   (VariableNode "_$qVar" (stv 0.001 0.99000001))
)
Who is a man?
(InheritanceLink
   (ConceptNode "man@4b0b437d-d55a-4e62-9b48-e65587f39d14" (stv 0.001 0.99000001))
   (VariableNode "_$qVar" (stv 0.001 0.99000001))
)

SVIO

I gave him an orange.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "give@54bbd854-1c55-4742-8b8a-6e2ef98160c2" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "I@645a0ad7-4dcc-469e-a1d3-44e8e5ff6fc1" (stv 0.001 0.99000001))
      (ConceptNode "orange@0323bbe3-2f5f-4f53-88bf-f62a19a7562b" (stv 0.001 0.99000001))
      (ConceptNode "him@282f3bb2-57ea-422f-af14-ae1c8587f221" (stv 0.001 0.99000001))
   )
)
Who gave you that idea?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "gave@1847cb3a-3f99-4ce8-b15f-72c3e42d8408" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "_$qVar" (stv 0.001 0.99000001))
      (ConceptNode "idea@1f36942e-9ea0-44df-85ed-f3773989c0c0" (stv 0.001 0.99000001))
      (ConceptNode "you@2a325237-3763-4601-b5c0-9b29a1400665" (stv 0.001 0.99000001))
   )
)
What did you give to Mary?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "give@12341d0c-1711-4a5f-ae10-d7238956a026" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "you@2da97810-e1fc-40cc-8412-65fe09d4b0f3" (stv 0.001 0.99000001))
      (VariableNode "_$qVar" (stv 0.001 0.99000001))
      (ConceptNode "Mary@ce863bd7-51a9-494b-ab0c-afacb4b24e7b" (stv 0.001 0.99000001))
   )
)
To whom did you sell the children?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "sell@ce112af2-e0d3-460a-bf8b-399c38ac4fea" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "you@1e1318c1-8101-4fe6-8ff2-e1f13dc8f876" (stv 0.001 0.99000001))
      (ConceptNode "children@30a7f7ac-6e52-48a6-8c5d-0757f3530b8e" (stv 0.001 0.99000001))
      (VariableNode "_$qVar" (stv 0.001 0.99000001))
   )
)

SVO

I see you.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "see@71086efe-0e48-4159-8f1e-5d392af14f0f" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "I@7802e38c-848a-491a-bf63-1876816cd39f" (stv 0.001 0.99000001))
      (ConceptNode "you@74e3b17b-29b7-453c-bf29-b4929496210e" (stv 0.001 0.99000001))
   )
)
The book is on the table.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "on@903a1a18-124d-498d-97af-447277a798e5" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "book@12357525-7ca9-4d5e-85f8-b565228459aa" (stv 0.001 0.99000001))
      (ConceptNode "table@be0f51a3-a7a0-400e-80ea-9ca860928af4" (stv 0.001 0.99000001))
   )
)
What programmed you?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "programmed@d2c1cc44-c77d-4537-a5fd-19d0424a1572" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "_$qVar" (stv 0.001 0.99000001))
      (ConceptNode "you@ad90c14d-6b6a-40bb-9639-6d3a1f3c78be" (stv 0.001 0.99000001))
   )
)
Who do you love?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "love@06022afd-965f-4ca4-a8bd-f85fef0a2507" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "you@46e3887a-5441-4031-bb07-d185d2cbbc14" (stv 0.001 0.99000001))
      (VariableNode "_$qVar" (stv 0.001 0.99000001))
   )
)
What is for dinner?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "for@1eb72d55-dd69-42f5-89b1-4f675392c695" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "_$qVar" (stv 0.001 0.99000001))
      (ConceptNode "dinner@55fe6c32-7750-45bb-96ca-1e70a104255c" (stv 0.001 0.99000001))
   )
)

SV

I fly.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "fly@a05b3ccb-f9f7-4a19-aa3a-b1a293ca406c" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "I@23b4963a-6d83-4637-9553-93aecc5d7d3e" (stv 0.001 0.99000001))
   )
)
I am happy.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "happy@0f731cd5-0f1f-48b8-9f52-512657eb8161" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "I@1e4a5496-5774-4089-94b5-9874e436e3ad" (stv 0.001 0.99000001))
   )
)
What is happening?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "happening@5a148832-9bc6-46a3-98fd-d5947d5586fd" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "_$qVar" (stv 0.001 0.99000001))
   )
)
What are you doing?
(EvaluationLink (stv 0.99000001 0.99000001)
   (VariableNode "_$qVar" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "you@2360c260-bf01-4b01-9713-49c64071375a" (stv 0.001 0.99000001))
   )
)

TOBE

He seems happy.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "seems@2cffd2ea-efa2-40ba-a221-16b2097fbed9" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (InheritanceLink (stv 0.99000001 0.99000001)
         (ConceptNode "he@923dd86d-e6a0-476f-8c29-da319f1de2f3" (stv 0.001 0.99000001))
         (ConceptNode "happy@68d8951a-7274-4377-a58d-9189c3faf8ef" (stv 0.001 0.99000001))
      )
   )
)

Question rules

Yes / No question

COPULA-YNQ

Are you the one?
(EvaluationLink
   (PredicateNode "Truth Value")
   (ListLink
      (InheritanceLink (stv 0.99000001 0.99000001)
         (ConceptNode "you@9085e5f3-a25f-4823-8242-9ef738bad153" (stv 0.001 0.99000001))
         (ConceptNode "one@11e3b47e-d7c9-46ef-8e62-d04bacdfe99c" (stv 0.001 0.99000001))
      )
   )
   (VariableNode "$var1")
)

PREDICATE-YNQ

Are you mad?
(EvaluationLink
   (PredicateNode "Truth Value")
   (EvaluationLink (stv 0.99000001 0.99000001)
      (PredicateNode "mad@67a544cf-c7bf-4b4e-845f-56d3ec54c48a" (stv 0.001 0.99000001))
   )
   (VariableNode "$var1")
)

Where question

WHERE-Q

Where do you live?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "AtPlace" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "$qVar")
      (PredicateNode "live@bd34240c-3f83-4e27-8e97-dd864b64d59b" (stv 0.001 0.99000001))
   )
)

WHERECOP-Q

Where is the party?

Same as WHERE-Q but with ConceptNode.

When question

WHEN-Q

When did you bake the cake?
 (AtTimeLink (stv 0.99000001 0.99000001)
   (VariableNode "$qVar")
   (PredicateNode "bake@7ab7a6f9-8801-4636-854c-e2b01b978198" (stv 0.001 0.99000001))
)

WHENCOP-Q

When is the party?

Same as WHEN-Q but with ConceptNode.

Why question

WHY-Q

Why do you live?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "Because" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "$qVar")
      (PredicateNode "live@a64c84cc-c759-431a-96b2-0d91b8cc1f4e" (stv 0.001 0.99000001))
   )
)

WHYCOP-Q (?)

...

Same as WHY-Q but with ConceptNode.

How question

HOW-Q

How did you sleep?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "InManner" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "$qVar")
      (PredicateNode "sleep@1cf8ab5c-ab76-41c1-8a0c-425ac9966727" (stv 0.001 0.99000001))
   )
)

HOWPREDADJ1-Q, HOWPREDADJ2-Q

How is the party?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "InManner" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "$qVar")
      (PredicateNode "is@def66f8f-755e-442f-95a7-bfe92b08648e" (stv 0.001 0.99000001))
   )
)

HOWQUANTQ

How much money does it cost?
(QuantityLink (stv 0.99000001 0.99000001)
   (VariableNode "_$qVar")
   (ConceptNode "money@f9df5062-e9ed-4dc4-8280-cb1167302d58" (stv 0.001 0.99000001))
)

HOWDEGQ

How fast does it go?
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "DegreeLink" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "_$qVar")
      (ConceptNode "fast@142b7735-9b3d-45af-afe9-95700ed01355" (stv 0.001 0.99000001))
   )
)

Adjective and adverb rules

AMOD

The lazy dog jumped.
(InheritanceLink (stv 0.99000001 0.99000001)
   (ConceptNode "dog@f7cf116e-69b1-41ac-b27e-1e7a2cb5c693" (stv 0.001 0.99000001))
   (ConceptNode "lazy@e1f4ff05-28e4-448d-ab73-bab1fbdcd0b4" (stv 0.001 0.99000001))
)

ADVMOD

The dog runs quickly.
(InheritanceLink (stv 0.99000001 0.99000001)
   (SatisfyingSetLink (stv 0.99000001 0.99000001)
      (PredicateNode "runs@6bd0601a-5691-4ff9-9b06-b95cdb5f5ddb" (stv 0.001 0.99000001))
   )
   (ConceptNode "quickly@599ba993-397e-46c3-87d9-b6f0a89ff705" (stv 0.001 0.99000001))
)

Rules involving one word

ENTITYFLAG (?)

...

GENDER

John can fly.
(InheritanceLink (stv 0.99000001 0.99000001)
   (SpecificEntityNode "John@1f6de265-4df7-46f1-bfff-6e506a821111" (stv 0.001 0.99000001))
   (ConceptNode "man" (stv 0.001 0.99000001))
)
(InheritanceLink (stv 0.99000001 0.99000001)
   (SpecificEntityNode "John@1f6de265-4df7-46f1-bfff-6e506a821111" (stv 0.001 0.99000001))
   (ConceptNode "John" (stv 0.001 0.99000001))
)

TENSEPOS

He ran.
(InheritanceLink (stv 0.99000001 0.99000001)
   (PredicateNode "ran@68adc2b6-56a9-4086-b16b-ad561357aa51" (stv 0.001 0.99000001))
   (ConceptNode "past" (stv 0.001 0.99000001))
)

DET

I ate those apples.
(ImplicationLink (stv 0.99000001 0.99000001)
   (MemberLink (stv 0.99000001 0.99000001)
      (VariableNode "$9ZTKrfM3TuQYIXPmcF92hkGLUJmL6y5fS9uP" (stv 0.001 0.99000001))
      (ConceptNode "apples@44a28358-d7a6-40f1-875c-1e6a7b7ba1b0" (stv 0.001 0.99000001))
   )
   (InheritanceLink (stv 0.99000001 0.99000001)
      (VariableNode "$9ZTKrfM3TuQYIXPmcF92hkGLUJmL6y5fS9uP" (stv 0.001 0.99000001))
      (ConceptNode "apple" (stv 0.001 0.99000001))
   )
)
I ate that apple.
(InheritanceLink (stv 0.99000001 0.99000001)
   (VariableNode "$2zIq2oVqRozDnpEFdcLZ3aP062zLSIcFfWYA" (stv 0.001 0.99000001))
   (ConceptNode "apple" (stv 0.001 0.99000001))
)

NEGFLAG (?)

He did not run.

...

DEFINITE

He runs.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "definite" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "he@94d5b897-3e04-4bb8-aeb0-d06696f18696" (stv 0.001 0.99000001))
   )
)

MAYBE

Maybe she eats lunch.

Pre-processed

(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "maybemarker" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (PredicateNode "eats@f413b60a-95b3-4e70-a7b4-d04b01666fb0" (stv 0.001 0.99000001))
   )
)

Post-processed

(EvaluationLink (stv 0.99000001 0.5)
   (PredicateNode "eats@f413b60a-95b3-4e70-a7b4-d04b01666fb0" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "she@6a8e8c94-f172-4bca-ab1b-b3dfb5ff5ede" (stv 0.001 0.99000001))
      (ConceptNode "lunch@eaa61636-ae9a-4110-9c57-641221eef8b2" (stv 0.001 0.99000001))
   )
)

Misc rules

NUM (?)

...

ABOUT

He talks about the galaxy.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "about" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (PredicateNode "talks@e8886704-422f-440e-8916-4b00ec4ebec2" (stv 0.001 0.99000001))
      (ConceptNode "galaxy@0288ba13-3d5a-4ec8-923f-18ffdcd48e15" (stv 0.001 0.99000001))
   )
)

PRENOMINAL (?)

The cat killing fox escaped.
(InheritanceLink (stv 0.99000001 0.99000001)
   (ConceptNode "killing@daeddf9f-ae11-49cc-b5d7-e6556bc3b0c4" (stv 0.001 0.99000001))
   (ConceptNode "cat@cdbaa490-4410-4dde-bd3e-5514d96968c5" (stv 0.001 0.99000001))
)
(InheritanceLink (stv 0.99000001 0.99000001)
   (ConceptNode "fox@d6b6f055-923a-4fed-9ed5-5eea42a18038" (stv 0.001 0.99000001))
   (ConceptNode "killing@daeddf9f-ae11-49cc-b5d7-e6556bc3b0c4" (stv 0.001 0.99000001))
)

POSS

Her dog can fly.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "possession" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "dog@5a515fae-a23b-4988-8648-feda7c53e4f5" (stv 0.001 0.99000001))
      (ConceptNode "her@1256bd20-aa85-40ba-8d2c-3202e1e3befd" (stv 0.001 0.99000001))
   )
)

To do rules

TODO1

She wants to help John.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "wants@534815ae-71f9-4793-aace-209276922ef2" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "she@7d34a3c5-74d6-4d22-9b8b-f86cff135cb5" (stv 0.001 0.99000001))
      (EvaluationLink (stv 0.99000001 0.99000001)
         (PredicateNode "help@6c3fbfea-03dd-4fdd-b410-11a9c053e340" (stv 0.001 0.99000001))
         (ListLink (stv 0.99000001 0.99000001)
            (ConceptNode "she@7d34a3c5-74d6-4d22-9b8b-f86cff135cb5" (stv 0.001 0.99000001))
            (ConceptNode "John@cdb4550c-da04-493f-b0ad-626b0e8b8462" (stv 0.001 0.99000001))
         )
      )
   )
)

TODO2 (?)

...

TODO3

She is nice to help with the project.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "help@a9ff3392-8a35-49d2-aac2-beb53a63098d" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (InheritanceLink (stv 0.99000001 0.99000001)
         (ConceptNode "she@b1e536a7-b476-4f9b-98ff-775f919aa887" (stv 0.001 0.99000001))
         (ConceptNode "nice@390457ba-c152-4fb0-9f1d-a8d825c2ec1b" (stv 0.001 0.99000001))
      )
   )
)

TODO4

She must be able to sing.
(EvaluationLink
   (PredicateNode "able_to")
   (ListLink
      (ConceptNode "she@67220557-0ec2-4ad1-b032-73632f3cbea1" (stv 0.001 0.99000001))
      (PredicateNode "sing@58b1ec63-08a6-4a17-84a5-ef08aa04ac6a" (stv 0.001 0.99000001))
   )
)

TODO5

She wants to sing.
(EvaluationLink
   (PredicateNode "wants@2f2a3e1d-0a4f-4546-b461-7c70533e5037" (stv 0.001 0.99000001))
   (ListLink
      (ConceptNode "she@e5c3a478-af4b-4436-a738-d10ac5876f30" (stv 0.001 0.99000001))
      (PredicateNode "sing@cbb023ba-6bd0-4d26-9d89-967e2cd6432f" (stv 0.001 0.99000001))
   )
)

All rules

ALLRULE1

He ate all green oranges.

Pre-processed

(EvaluationLink
   (PredicateNode "allmarker")
   (ListLink
      (ConceptNode "oranges@a7eea130-dbd2-4768-b617-6d2fee788727" (stv 0.001 0.99000001))
   )
)

Post-processed

(ForAllLink
   (VariableNode "$X")
   (ImplicationLink
      (InheritanceLink
         (VariableNode "$X")
         (ConceptNode "oranges@a7eea130-dbd2-4768-b617-6d2fee788727" (stv 0.001 0.99000001))
      )
      (AndLink
         (EvaluationLink
            (PredicateNode "ate@124c4082-74a6-4d78-ab90-6ce3d8323fcf" (stv 0.001 0.99000001))
            (ListLink
               (ConceptNode "he@9d991b9b-20d0-444a-a704-c1ced225c5fb" (stv 0.001 0.99000001))
               (VariableNode "$X")
            )
         )
         (InheritanceLink
            (VariableNode "$X")
            (ConceptNode "green@23f1d1d5-e184-43c3-b5b8-b68d8928cb8f" (stv 0.001 0.99000001))
         )
      )
   )
)

ALLRULE2

All my writings are bad.

Same as ALLRULE1 but accepts _predet($noun, all) instead of _quantity($noun, all).

Passive verbs rule

PASSIVE1

The books were written by him.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "written@1f98aa60-1670-4fda-87d2-f86eeb6f2b2f" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (ConceptNode "him@e8d878a2-6c50-4b32-be4f-00b23850f5ce" (stv 0.001 0.99000001))
      (ConceptNode "books@1c31e101-5e4f-4ff3-99e2-14532746f633" (stv 0.001 0.99000001))
   )
)

PASSIVE2

The books are published.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "published@5be6d676-7acb-424d-82ee-0ffbc6f646cc" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (VariableNode "$x" (stv 0.001 0.99000001))
      (ConceptNode "books@684defa5-df63-4afa-b916-eb856c2da1d6" (stv 0.001 0.99000001))
   )
)

Conjunction rules

AND

John and Madison eat the cake.
(EvaluationLink
   (PredicateNode "and")
   (ListLink
      (ConceptNode "John@280e559e-4c18-4139-a62f-87ead43ae7eb" (stv 0.001 0.99000001))
      (ConceptNode "Madison@138e4138-eedb-4d0c-9289-1e1f39717e0f" (stv 0.001 0.99000001))
   )
)
I did my homework, and I went to school.

Failed...

BUT (?)

Need negrule...?

OR

He is either happy or sad.
(EvaluationLink
   (PredicateNode "or")
   (ListLink
      (ConceptNode "happy@66f561a1-03e1-4537-8356-ff4f9453edcb")
      (ConceptNode "sad@6ec46630-3a64-47ad-8f09-fbd663877db0")
   )
)

That rule

THAT1, THAT2

I know that he stupidly thinks that she bought the cake.
I know he stupidly thinks she bought the cake.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "that" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (PredicateNode "know@dbac6cee-9493-4360-bd26-6418526b189e" (stv 0.001 0.99000001))
      (PredicateNode "thinks@68e6a000-e571-4388-9f04-89d1b1f9cda6" (stv 0.001 0.99000001))
   )
)

(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "that" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (PredicateNode "thinks@68e6a000-e571-4388-9f04-89d1b1f9cda6" (stv 0.001 0.99000001))
      (PredicateNode "bought@a750fe2d-7c2c-4cc5-9581-5f07fb34c6de" (stv 0.001 0.99000001))
   )
)

Time rules

BEFORE

She went home before I left.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "before" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (PredicateNode "went@afd216d2-c346-40d9-82fd-5c3250b951ec" (stv 0.001 0.99000001))
      (PredicateNode "left@901e90ac-49aa-4f8d-bfd5-b82d92cfb1ba" (stv 0.001 0.99000001))
   )
)

AFTER

She went home after I left.
(EvaluationLink (stv 0.99000001 0.99000001)
   (PredicateNode "after" (stv 0.001 0.99000001))
   (ListLink (stv 0.99000001 0.99000001)
      (PredicateNode "went@afd216d2-c346-40d9-82fd-5c3250b951ec" (stv 0.001 0.99000001))
      (PredicateNode "left@901e90ac-49aa-4f8d-bfd5-b82d92cfb1ba" (stv 0.001 0.99000001))
   )
)

TIME

She went home at 6 pm.
(AtTimeLink (stv 0.99000001 0.99000001)
   (TimeNode "18" (stv 0.001 0.99000001))
   (PredicateNode "went@7a6208cf-bf8a-44eb-bb27-ab58ad07707f" (stv 0.001 0.99000001))
)