Update: This example does not need so many inference step, also added some interesting questions showing inductive capabilities as well
<orangejuice --> [yellow]>. :@:
//milk is white
<milk --> [white]>. :@:
-100
+15
//arriving at school, you see a wooden object (a door knob!)
<{obj1} --> [wooden]>. :|:
//on the door
//the goal is to educate children
<child --> [educated]>! :|:
//expected: ^pick executed with args ({SELF} * {obj1})
-100
+15
//you are in a place with a large clock now (the corridor!)
<clock --> [large]>. :|:
//with a red floor
//the goal is to educate children
<child --> [educated]>! :|:
//expected: ^go executed with args ({SELF} * classroom)
-100
+15
//you are somewhere with a clean blackboard (you are in the classroom!)
<blackboard --> [clean]>. :|:
//and a blue floor as well
//the goal is to educate children
<child --> [educated]>! :|:
//expected: ^pick executed with args ({SELF} * write)
-100
+15
//your are at a place with a blackboard which now is dirty (blackboard was used!)
<blackboard --> [dirty]>. :|:
//the floor is still blue
//the goal is to educate children
<child --> [educated]>! :|:
//expected: ^pick executed with args ({SELF} * sponge)
-100
+15
//you are at a place with a clean blackboard now (still in the classroom!)
<blackboard --> [clean]>. :|:
//with a blue floor still
//you are really tired now, you want to be refreshed (go for coffee!!)
<{SELF} --> [refreshed]>! :|:
//expected: ^go executed with args ({SELF} * corridor)
-100
+15
//now you are in the place with a large clock (the corridor!)
<clock --> [large]>. :|:
//with a red floor
//you are really tired, you want to be refreshed (go for coffee!!)
<{SELF} --> [refreshed]>! :|:
//expected: ^go executed with args ({SELF} * kitchen)
-100
+15
//now you are at a place with a microwave which is on
<microwave --> [on]>. :|:
//with a cyan floor
//you are really tired, you want to be refreshed (go for coffee!!)
<{SELF} --> [refreshed]>! :|:
//expected: ^pick executed with args ({SELF} * {drink1})
+
+//Q&A time
+//What color does the floor have where the large clock is?
+<<clock --> [large]> =/> <floor --> [?what]>>?
+//expected: Answer: <<clock --> [large]> =/> <floor --> [red]>>. Truth: frequency=0.964794, confidence=0.449068
+//If you are where the floor is red, where do you need to go to see a cyan floor?
+<(<floor --> [red]> &/ <({SELF} * ?2) --> ^go>) =/> <floor --> [cyan]>>?
+//expected: Answer: <(<floor --> [red]> &/ <({SELF} * kitchen) --> ^go>) =/> <floor --> [cyan]>>. Truth: frequency=1.000000, confidence=0.01029
