Advertisement
Guest User

Untitled

a guest
Jan 4th, 2016
64
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 129.48 KB | None | 0 0
  1. eventTaskProcess: $.01;.01;.22$ <{he}-->pronouns>. %1.0;.73% {1451963057290: 2} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  2. eventTaskProcess: $0.0;0.0;.15$ <{John,Mary}-->pronouns>. %1.0;.53% {1451963057290: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  3. eventTaskProcess: $0.0;0.0;.11$ <<{he,she}-->$1>==><{she}-->$1>>. %1.0;.73% {1451963057290: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  4. eventTaskProcess: $0.0;0.0;.11$ (&&,<{she}-->#1>,<{he,she}-->#1>). %1.0;.73% {1451963057290: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  5. eventTaskProcess: $0.0;0.0;.07$ (&&,<{John,Mary}-->#1>,<{he,she}-->#1>). %.80;.37% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  6. eventTaskProcess: $.01;.01;.22$ <{she}-->pronouns>. %1.0;.73% {1451963057290: 2} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  7. eventTaskProcess: $.01;.01;.13$ <{he,she}-->pronouns>. %0.0;.73% {1451963057290: 2} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  8. eventTaskProcess: $0.0;0.0;.12$ <<{he}-->$1>==><{she}-->$1>>. %1.0;.66% {1451963057290: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  9. eventTaskProcess: $0.0;0.0;.08$ <(~,{he},{he,she})-->pronouns>. %0.0;.73% {1451963057290: 2} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  10. eventTaskProcess: $0.0;0.0;.07$ <<{John,Mary}-->$1>==><{he,she}-->$1>>. %1.0;.32% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  11. eventTaskProcess: $0.0;0.0;.09$ <{he,she}-->{John,Mary}>. %1.0;.32% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  12. eventTaskProcess: $0.0;0.0;.11$ <<{she}-->$1><=><{he,she}-->$1>>. %1.0;.73% {1451963057290: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  13. eventTaskProcess: $0.0;0.0;.08$ <<{he}-->$1>==><{John,Mary}-->$1>>. %.80;.34% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  14. eventTaskProcess: $0.0;0.0;.09$ <(~,{John,Mary},{he,she})-->pronouns>. %1.0;.59% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  15. eventTaskProcess: $0.0;0.0;.08$ <<{he}-->$1><=><{John,Mary}-->$1>>. %1.0;.30% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  16. eventTaskProcess: $0.0;0.0;.12$ <<{he}-->$1><=><{she}-->$1>>. %1.0;.66% {1451963057290: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  17. eventTaskProcess: $0.0;0.0;.10$ <{John,Mary}<->{he}>. %.80;.34% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  18. eventTaskProcess: $0.0;0.0;.07$ <<{John,Mary}-->$1><=><{he,she}-->$1>>. %1.0;.32% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  19. eventTaskProcess: $0.0;0.0;.08$ <<{John,Mary}-->$1>==><{he,she}-->$1>>. %.80;.59% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  20. eventTaskProcess: $.01;0.0;.11$ <<{he}-->$1>==><{he,she}-->$1>>. %1.0;.73% {1451963057290: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  21. eventTaskProcess: $0.0;0.0;.07$ <<{John,Mary}-->$1><=><{he,she}-->$1>>. %.80;.37% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  22. eventTaskProcess: $0.0;0.0;.10$ <{John,Mary,he,she}-->pronouns>. %.80;.59% {1451963057290: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  23. eventTaskProcess: $0.0;0.0;.08$ <<{he,she}-->$1>==><{John,Mary}-->$1>>. %.80;.59% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  24. eventTaskProcess: $0.0;0.0;.08$ <(~,{she},{he,she})-->pronouns>. %0.0;.73% {1451963057290: 2} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  25. eventTaskProcess: $0.0;.01;.16$ <{John,Mary}-->pronouns>. %1.0;.59% {1451963057290: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  26. eventTaskProcess: $.01;.01;.16$ <{she}-->pronouns>. %0.0;.73% {1451963057290: 2} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  27. eventTaskProcess: $0.0;0.0;.07$ <<{he,she}-->$1>==><{John,Mary}-->$1>>. %.80;.37% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  28. eventTaskProcess: $0.0;0.0;.08$ <<{he}-->$1><=><{John,Mary}-->$1>>. %.80;.34% {1451963057290: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  29. in: PRIVMSG, patham9_!557f2729@gateway/web/freenode/ip.85.127.39.41, {}, [#nars, MARchy doesnt instantly answer or answer at all like mr_nars does ^^] from :patham9_!557f2729@gateway/web/freenode/ip.85.127.39.41 PRIVMSG #nars :MARchy doesnt instantly answer or answer at all like mr_nars does ^^
  30. :patham9_!557f2729@gateway/web/freenode/ip.85.127.39.41 PRIVMSG #nars :MARchy doesnt instantly answer or answer at all like mr_nars does ^^
  31. nars.Narsese$NarseseException: Input syntax error: MARchy doesnt instantly answer or answer at all like mr_nars does ^^
  32. at nars.NAR.input(NAR.java:202)
  33. at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
  34. at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
  35. at java.lang.Thread.run(Thread.java:806)
  36. MARchy doesnt instantly answer or answer at all like mr_nars does ^^ java.lang.RuntimeException: nars.Narsese$NarseseException: Input syntax error: MARchy doesnt instantly answer or answer at all like mr_nars does ^^
  37. eventTaskProcess: $0.0;0.0;.10$ <(~,{John,Mary},{John})-->nouns>. %1.0;.59% {1451963058658: 1} ((<(~,%1,%2)-->%3>,%3),(<%1-->%3>,(<StructuralDeduction-->Truth>)))
  38. eventTaskProcess: $0.0;0.0;.06$ (--,<(&,(~,{John,Mary},{John}),{John,Mary})-->nouns>). %1.0;.66% {1451963058658: 1} ((<%1-->%2>,%1,task(negative)),((--,<%1-->%2>),(<Negation-->Truth>,<Negation-->Desire>,<AllowBackward-->Derive>)))
  39. eventTaskProcess: $0.0;0.0;.06$ (--,<(~,(~,{John,Mary},{John}),{John,Mary})-->nouns>). %1.0;.66% {1451963058658: 1} ((<%1-->%2>,%2,task(negative)),((--,<%1-->%2>),(<Negation-->Truth>,<Negation-->Desire>,<AllowBackward-->Derive>)))
  40. eventTaskProcess: $0.0;0.0;.23$ <{he}-->#1>. %1.0;.36% {1451963061327: 2;5} (((&&,%1..+,%2),%3),(substituteIfUnifies((&&,%1..+),"#",%2,%3),(<AnonymousAnalogy-->Truth>,<Strong-->Desire>,<ForAllSame-->Order>,<FromTask-->SequenceIntervals>)))
  41. eventTaskProcess: $0.0;0.0;.23$ <{she}-->#1>. %1.0;.36% {1451963061327: 2;5} (((&&,%1..+,%2),%3),(substituteIfUnifies((&&,%1..+),"#",%2,%3),(<AnonymousAnalogy-->Truth>,<Strong-->Desire>,<ForAllSame-->Order>,<FromTask-->SequenceIntervals>)))
  42. eventTaskProcess: $0.0;0.0;.14$ (--,<{he,she}-->pronouns>). %1.0;.66% {1451963061327: 2} ((<%1-->%2>,%1,task(negative)),((--,<%1-->%2>),(<Negation-->Truth>,<Negation-->Desire>,<AllowBackward-->Derive>)))
  43. eventTaskProcess: $0.0;0.0;.22$ <{Mary}-->#1>. %1.0;.29% {1451963061327: 1;5} (((&&,%1..+,%2),%3),(substituteIfUnifies((&&,%1..+),"#",%2,%3),(<AnonymousAnalogy-->Truth>,<Strong-->Desire>,<ForAllSame-->Order>,<FromTask-->SequenceIntervals>)))
  44. eventTaskProcess: $0.0;0.0;.06$ <(~,(~,{John,Mary},{John}),{Mary})-->#1>. %1.0;.29% {1451963061327: 1;5} (((&&,%1..+,%2),%3),(substituteIfUnifies((&&,%1..+),"#",%2,%3),(<AnonymousAnalogy-->Truth>,<Strong-->Desire>,<ForAllSame-->Order>,<FromTask-->SequenceIntervals>)))
  45. eventTaskProcess: $.10;.05;.19$ <eat-->(/,_,he,meat)>. %1.0;.90% {1451963062667: 5} ((<(%1..+)-->%2>,%2),(<%2-->(/,_,%1..+)>,(<Identity-->Truth>,<Identity-->Desire>)))
  46. eventTaskProcess: $0.0;0.0;.10$ <{John,Mary}-->(-,pronouns,nouns)>. %.80;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  47. eventTaskProcess: $0.0;0.0;.14$ <<$1-->pronouns>==><$1-->nouns>>. %.80;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,neq(%2,%3)),(<<$4-->%2>==><$4-->%3>>,(<Induction-->Truth>),<<$4-->%3>==><$4-->%2>>,(<Abduction-->Truth>),<<$4-->%2><=><$4-->%3>>,(<Comparison-->Truth>),(&&,<#5-->%2>,<#5-->%3>),(<Intersection-->Truth>)))
  48. eventTaskProcess: $0.0;0.0;.21$ <{he}-->pronouns>. %1.0;.66% {1451963064005: 2} ((<{%1..+,%2}-->%3>,%3),(<{%2}-->%3>,(<StructuralDeduction-->Truth>)))
  49. eventTaskProcess: $0.0;0.0;.14$ <<$1-->nouns>==><$1-->pronouns>>. %.80;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,neq(%2,%3)),(<<$4-->%2>==><$4-->%3>>,(<Induction-->Truth>),<<$4-->%3>==><$4-->%2>>,(<Abduction-->Truth>),<<$4-->%2><=><$4-->%3>>,(<Comparison-->Truth>),(&&,<#5-->%2>,<#5-->%3>),(<Intersection-->Truth>)))
  50. eventTaskProcess: $0.0;0.0;.14$ <<$1-->nouns><=><$1-->pronouns>>. %.80;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,neq(%2,%3)),(<<$4-->%2>==><$4-->%3>>,(<Induction-->Truth>),<<$4-->%3>==><$4-->%2>>,(<Abduction-->Truth>),<<$4-->%2><=><$4-->%3>>,(<Comparison-->Truth>),(&&,<#5-->%2>,<#5-->%3>),(<Intersection-->Truth>)))
  51. eventTaskProcess: $0.0;0.0;.20$ <{he}-->pronouns>. %1.0;.59% {1451963064005: 2} ((<{%1..+,%2}-->%3>,%3),(<{%2}-->%3>,(<StructuralDeduction-->Truth>)))
  52. eventTaskProcess: $0.0;0.0;.20$ <{she}-->pronouns>. %1.0;.59% {1451963064005: 2} ((<{%1..+,%2}-->%3>,%3),(<{%2}-->%3>,(<StructuralDeduction-->Truth>)))
  53. eventTaskProcess: $0.0;0.0;.14$ (--,<{he,she}-->pronouns>). %1.0;.73% {1451963064005: 2} ((<%1-->%2>,%1,task(negative)),((--,<%1-->%2>),(<Negation-->Truth>,<Negation-->Desire>,<AllowBackward-->Derive>)))
  54. eventTaskProcess: $0.0;0.0;.09$ <{John,Mary}-->(|,nouns,pronouns)>. %0.0;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  55. eventTaskProcess: $0.0;0.0;.09$ <{John,Mary}-->(-,pronouns,nouns)>. %0.0;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  56. eventTaskProcess: $0.0;0.0;.09$ <{John,Mary}-->(&,nouns,pronouns)>. %0.0;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  57. eventTaskProcess: $0.0;0.0;.10$ <{John,Mary}-->(|,nouns,pronouns)>. %.80;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  58. eventTaskProcess: $0.0;0.0;.10$ <{John,Mary}-->(&,nouns,pronouns)>. %.80;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  59. eventTaskProcess: $0.0;0.0;.14$ (&&,<#1-->nouns>,<#1-->pronouns>). %.80;.59% {1451963064005: 1;3} ((<%1-->%2>,<%1-->%3>,neq(%2,%3)),(<<$4-->%2>==><$4-->%3>>,(<Induction-->Truth>),<<$4-->%3>==><$4-->%2>>,(<Abduction-->Truth>),<<$4-->%2><=><$4-->%3>>,(<Comparison-->Truth>),(&&,<#5-->%2>,<#5-->%3>),(<Intersection-->Truth>)))
  60. eventTaskProcess: $0.0;0.0;.17$ (--,<{she}-->pronouns>). %1.0;.66% {1451963066687: 2} ((<%1-->%2>,%1,task(negative)),((--,<%1-->%2>),(<Negation-->Truth>,<Negation-->Desire>,<AllowBackward-->Derive>)))
  61. eventTaskProcess: $0.0;0.0;.16$ (--,<{John}-->nouns>). %1.0;.59% {1451963066687: 1} ((<%1-->%2>,%2,task(negative)),((--,<%1-->%2>),(<Negation-->Truth>,<Negation-->Desire>,<AllowBackward-->Derive>)))
  62. eventTaskProcess: $0.0;0.0;.17$ (--,<{she}-->pronouns>). %1.0;.73% {1451963066687: 2} ((<%1-->%2>,%1,task(negative)),((--,<%1-->%2>),(<Negation-->Truth>,<Negation-->Desire>,<AllowBackward-->Derive>)))
  63. in: PRIVMSG, sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net, {}, [#nars, NARchy is answering stuff locally] from :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :NARchy is answering stuff locally
  64. :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :NARchy is answering stuff locally
  65. nars.Narsese$NarseseException: Input syntax error: NARchy is answering stuff locally
  66. at nars.NAR.input(NAR.java:202)
  67. at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
  68. at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
  69. at java.lang.Thread.run(Thread.java:806)
  70. NARchy is answering stuff locally java.lang.RuntimeException: nars.Narsese$NarseseException: Input syntax error: NARchy is answering stuff locally
  71. in: PRIVMSG, patham9_!557f2729@gateway/web/freenode/ip.85.127.39.41, {}, [#nars, hence bp1 is the better branch. haha just joking :D] from :patham9_!557f2729@gateway/web/freenode/ip.85.127.39.41 PRIVMSG #nars :hence bp1 is the better branch. haha just joking :D
  72. :patham9_!557f2729@gateway/web/freenode/ip.85.127.39.41 PRIVMSG #nars :hence bp1 is the better branch. haha just joking :D
  73. nars.Narsese$NarseseException: Input syntax error: hence bp1 is the better branch. haha just joking :D
  74. at nars.NAR.input(NAR.java:202)
  75. at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
  76. at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
  77. at java.lang.Thread.run(Thread.java:806)
  78. hence bp1 is the better branch. haha just joking :D java.lang.RuntimeException: nars.Narsese$NarseseException: Input syntax error: hence bp1 is the better branch. haha just joking :D
  79. in: PRIVMSG, sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net, {}, [#nars, i have this priorit threshold] from :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :i have this priorit threshold
  80. :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :i have this priorit threshold
  81. nars.Narsese$NarseseException: Input syntax error: i have this priorit threshold
  82. at nars.NAR.input(NAR.java:202)
  83. at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
  84. at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
  85. at java.lang.Thread.run(Thread.java:806)
  86. i have this priorit threshold java.lang.RuntimeException: nars.Narsese$NarseseException: Input syntax error: i have this priorit threshold
  87. eventTaskProcess: $0.0;0.0;.21$ <{he,she}-->#1>. %1.0;.66% {1451963070695: 2} (((&&,%1..+,%2),%2),(%2,(<StructuralDeduction-->Truth>,<StructuralStrong-->Desire>,<ForAllSame-->Order>)))
  88. eventTaskProcess: $0.0;0.0;.06$ <(~,(~,{John,Mary},{John}),{he,she})-->nouns>. %1.0;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  89. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,{John,Mary},{John}),(~,{John,Mary},{Mary}))-->nouns>. %0.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  90. eventTaskProcess: $0.0;0.0;.05$ (&&,<(~,{John,Mary},{John})-->#1>,<{he,she}-->#1>). %1.0;.28% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  91. eventTaskProcess: $0.0;0.0;.06$ <(|,(~,{John,Mary},{John}),{he,she})-->nouns>. %1.0;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  92. eventTaskProcess: $0.0;0.0;.06$ <(&,(~,{John,Mary},{John}),{he,she})-->nouns>. %1.0;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  93. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{John})-->$1><=><(~,{John,Mary},{Mary})-->$1>>. %1.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  94. eventTaskProcess: $0.0;0.0;.04$ <(|,(~,{John,Mary},{John}),{he,she})-->nouns>. %.20;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  95. eventTaskProcess: $0.0;0.0;.05$ <(~,(~,{John,Mary},{John}),(~,{John,Mary},{Mary}))-->nouns>. %1.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  96. eventTaskProcess: $0.0;0.0;.11$ <(~,{Mary},{John,Mary})-->nouns>. %1.0;.73% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  97. eventTaskProcess: $0.0;0.0;.08$ <(~,{Mary},{John,Mary})-->nouns>. %0.0;.73% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  98. eventTaskProcess: $0.0;0.0;.06$ <(~,{John,Mary},{John})<->{he,she}>. %.80;.32% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  99. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{John})-->$1><=><{he,she}-->$1>>. %.80;.32% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  100. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John,Mary},{Mary}),(~,{John,Mary},{John}))-->nouns>. %1.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  101. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{Mary})-->$1>==><(~,{John,Mary},{John})-->$1>>. %1.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  102. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{John})-->$1>==><{he,she}-->$1>>. %.80;.32% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  103. eventTaskProcess: $0.0;0.0;.05$ <<{he,she}-->$1>==><(~,{John,Mary},{John})-->$1>>. %.80;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  104. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{John})-->$1><=><{he,she}-->$1>>. %1.0;.28% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  105. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{John})-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %1.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  106. eventTaskProcess: $0.0;0.0;.05$ (&&,<(~,{John,Mary},{John})-->#1>,<{he,she}-->#1>). %.80;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  107. eventTaskProcess: $0.0;0.0;.05$ <(~,(~,{John,Mary},{John}),{he,she})-->nouns>. %.80;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  108. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{John})-->$1>==><{he,she}-->$1>>. %.80;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  109. eventTaskProcess: $0.0;0.0;.05$ (&&,<(~,{John,Mary},{John})-->#1>,<(~,{John,Mary},{Mary})-->#1>). %1.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  110. eventTaskProcess: $0.0;0.0;.06$ <{he,she}-->(~,{John,Mary},{John})>. %.80;.32% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  111. eventTaskProcess: $0.0;0.0;.04$ <(&,(~,{John,Mary},{John}),{he,she})-->nouns>. %.20;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  112. eventTaskProcess: $0.0;0.0;.04$ <(|,(~,{John,Mary},{Mary}),(~,{John,Mary},{John}))-->nouns>. %0.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  113. eventTaskProcess: $0.0;0.0;.05$ <<{he,she}-->$1>==><(~,{John,Mary},{John})-->$1>>. %.80;.32% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  114. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{John,Mary},{John}),{he,she})-->nouns>. %.80;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  115. eventTaskProcess: $0.0;0.0;.05$ (&&,<(~,{John,Mary},{John})-->#1>,<{he,she}-->#1>). %.80;.32% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  116. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John,Mary},{John}),{he,she})-->nouns>. %.80;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  117. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{John})-->$1>==><{he,she}-->$1>>. %1.0;.28% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  118. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,{John,Mary},{John}),{he,she})-->nouns>. %.20;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  119. eventTaskProcess: $0.0;0.0;.04$ <(&,(~,{John,Mary},{Mary}),(~,{John,Mary},{John}))-->nouns>. %0.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  120. eventTaskProcess: $0.0;0.0;.05$ <<{he,she}-->$1>==><(~,{John,Mary},{John})-->$1>>. %1.0;.28% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  121. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{John,Mary},{Mary}),(~,{John,Mary},{John}))-->nouns>. %1.0;.53% {1451963073365: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  122. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{John})-->$1><=><{he,she}-->$1>>. %.80;.47% {1451963073365: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  123. in: PRIVMSG, sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net, {}, [#nars, unless you want it to flood and ge tkicked immediately] from :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :unless you want it to flood and ge tkicked immediately
  124. :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :unless you want it to flood and ge tkicked immediately
  125. nars.Narsese$NarseseException: Input syntax error: unless you want it to flood and ge tkicked immediately
  126. at nars.NAR.input(NAR.java:202)
  127. at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
  128. at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
  129. at java.lang.Thread.run(Thread.java:806)
  130. unless you want it to flood and ge tkicked immediately java.lang.RuntimeException: nars.Narsese$NarseseException: Input syntax error: unless you want it to flood and ge tkicked immediately
  131. eventTaskProcess: $0.0;0.0;.11$ <{he,she}-->{John}>. %1.0;.29% {1451963076053: 1;2;3} ((<%1-->{%2..+,%3}>,%1),(<%1-->{%3}>,(<StructuralDeduction-->Truth>)))
  132. eventTaskProcess: $0.0;0.0;.11$ <{he,she}-->{Mary}>. %1.0;.29% {1451963076053: 1;2;3} ((<%1-->{%2..+,%3}>,%1),(<%1-->{%3}>,(<StructuralDeduction-->Truth>)))
  133. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  134. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1><=><{Mary}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  135. eventTaskProcess: $0.0;0.0;.03$ <(|,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %.20;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  136. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{John,Mary},{Mary}),{he})-->nouns>. %0.0;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  137. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{he}-->$1>>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  138. eventTaskProcess: $0.0;0.0;.06$ <<{Mary}-->$1><=><(~,{John},{Mary})-->$1>>. %0.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  139. eventTaskProcess: $0.0;0.0;.10$ <{John,he}-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  140. eventTaskProcess: $0.0;0.0;.11$ <(~,{John},{she})-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  141. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  142. eventTaskProcess: $0.0;0.0;.09$ (&&,<{she}-->#1>,<{Mary}-->#1>). %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  143. eventTaskProcess: $0.0;0.0;.04$ (&&,<{he}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  144. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{Mary})-->$1><=><{he}-->$1>>. %.80;.30% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  145. eventTaskProcess: $0.0;0.0;.07$ <<{Mary}-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  146. eventTaskProcess: $0.0;0.0;.09$ <{he,she}-->nouns>. %.16;.34% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  147. eventTaskProcess: $0.0;0.0;.07$ (&&,<{he}-->#1>,<{he,she}-->#1>). %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  148. eventTaskProcess: $0.0;0.0;.11$ <(~,{Mary},{she})-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  149. eventTaskProcess: $0.0;0.0;.06$ <<(~,{John,Mary},{Mary})-->$1>==><{he}-->$1>>. %1.0;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  150. eventTaskProcess: $0.0;0.0;.03$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{he}-->$1>>. %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  151. eventTaskProcess: $0.0;0.0;.09$ <(~,{John},{she})-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  152. eventTaskProcess: $0.0;0.0;.04$ (&&,<{he}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %1.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  153. eventTaskProcess: $0.0;0.0;.15$ <{Mary,she}-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  154. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %1.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  155. eventTaskProcess: $0.0;0.0;.04$ <(|,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  156. eventTaskProcess: $0.0;0.0;.04$ (&&,<{she}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  157. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{she}-->$1>>. %1.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  158. eventTaskProcess: $0.0;0.0;.06$ (&&,<(~,{John,Mary},{Mary})-->#1>,<{he}-->#1>). %1.0;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  159. eventTaskProcess: $0.0;0.0;.14$ <{he}-->nouns>. %.64;.38% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  160. eventTaskProcess: $0.0;0.0;.07$ <<{she}-->$1>==><{he,she}-->$1>>. %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  161. eventTaskProcess: $0.0;0.0;.06$ <<{Mary}-->$1>==><(~,{John},{Mary})-->$1>>. %0.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  162. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1>==><{John}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  163. eventTaskProcess: $0.0;0.0;.07$ <<{he}-->$1><=><{he,she}-->$1>>. %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  164. eventTaskProcess: $0.0;0.0;.07$ <(~,{he},{she})-->nouns>. %.16;.34% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  165. eventTaskProcess: $0.0;0.0;.07$ <(~,{he,she},{he})-->nouns>. %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  166. eventTaskProcess: $0.0;0.0;.06$ <<(~,{John,Mary},{Mary})-->$1><=><{he}-->$1>>. %.80;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  167. eventTaskProcess: $0.0;0.0;.05$ <{he}-->(~,(~,{John,Mary},{John}),{John})>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  168. eventTaskProcess: $0.0;0.0;.08$ <<{he}-->$1>==><{she}-->$1>>. %.64;.34% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  169. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,(~,{John,Mary},{John}),{John}),(~,{John,Mary},{Mary}))-->nouns>. %1.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  170. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1>==><{she}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  171. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  172. eventTaskProcess: $0.0;0.0;.07$ <(~,{John},{he})-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  173. eventTaskProcess: $0.0;0.0;.03$ <(&,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %.20;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  174. eventTaskProcess: $0.0;0.0;.06$ <(~,{John,Mary},{Mary})-->{he,she}>. %1.0;.28% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  175. eventTaskProcess: $0.0;0.0;.09$ (&&,<{he}-->#1>,<{John}-->#1>). %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  176. eventTaskProcess: $0.0;0.0;.03$ <<{he}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  177. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1>==><{he}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  178. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1><=><{John}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  179. eventTaskProcess: $0.0;0.0;.12$ <{he}-->nouns>. %.16;.34% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  180. eventTaskProcess: $0.0;0.0;.03$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{she}-->$1>>. %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  181. eventTaskProcess: $0.0;0.0;.07$ <<{he}-->$1>==><{he,she}-->$1>>. %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  182. eventTaskProcess: $0.0;0.0;.12$ <{Mary}-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  183. eventTaskProcess: $0.0;0.0;.04$ <<{he}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %1.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  184. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1><=><{Mary}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  185. eventTaskProcess: $0.0;0.0;.12$ <{he}<->{Mary}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  186. eventTaskProcess: $0.0;0.0;.05$ <<{John,Mary}-->$1><=><(~,{John},{Mary})-->$1>>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  187. eventTaskProcess: $0.0;0.0;.07$ <(~,{John,Mary},{Mary})-->{he}>. %1.0;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  188. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1><=><{Mary}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  189. eventTaskProcess: $0.0;0.0;.04$ <(&,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  190. eventTaskProcess: $0.0;0.0;.08$ <<{she}-->$1>==><{he}-->$1>>. %.64;.34% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  191. eventTaskProcess: $0.0;0.0;.04$ (&&,<{he}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  192. eventTaskProcess: $0.0;0.0;.03$ <<{she}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  193. eventTaskProcess: $0.0;0.0;.07$ (&&,<{she}-->#1>,<{he,she}-->#1>). %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  194. eventTaskProcess: $0.0;0.0;.09$ <<{Mary}-->$1>==><{she}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  195. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1><=><{John}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  196. eventTaskProcess: $0.0;0.0;.05$ <(~,{he,she},(~,{John,Mary},{Mary}))-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  197. eventTaskProcess: $0.0;0.0;.05$ <<{he,she}-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  198. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{John,Mary},{Mary}),{John})-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  199. eventTaskProcess: $0.0;0.0;.05$ <<{John,Mary}-->$1>==><(~,{John},{Mary})-->$1>>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  200. eventTaskProcess: $0.0;0.0;.04$ <<{she}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  201. eventTaskProcess: $0.0;0.0;.06$ <(~,{Mary},(~,{John},{Mary}))-->nouns>. %0.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  202. eventTaskProcess: $0.0;0.0;.10$ <{Mary,he}-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  203. eventTaskProcess: $0.0;0.0;.12$ <{she}-->{Mary}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  204. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John},{Mary})-->$1>==><{John,Mary}-->$1>>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  205. eventTaskProcess: $0.0;0.0;.08$ <(~,{he},{she})-->nouns>. %.64;.34% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  206. eventTaskProcess: $0.0;0.0;.07$ <<(~,{John,Mary},{Mary})-->$1>==><{John}-->$1>>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  207. eventTaskProcess: $0.0;0.0;.07$ <<(~,{John,Mary},{Mary})-->$1><=><{John}-->$1>>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  208. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1>==><{Mary}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  209. eventTaskProcess: $0.0;0.0;.16$ <{John}-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  210. eventTaskProcess: $0.0;0.0;.04$ <<{she}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %1.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  211. eventTaskProcess: $0.0;0.0;.08$ <(&,(~,{John},{Mary}),{Mary})-->nouns>. %1.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  212. eventTaskProcess: $0.0;0.0;.03$ <<(~,{John,Mary},{Mary})-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  213. eventTaskProcess: $0.0;0.0;.09$ (&&,<{John}-->#1>,<{she}-->#1>). %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  214. eventTaskProcess: $0.0;0.0;.18$ <{John}-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  215. eventTaskProcess: $0.0;0.0;.12$ <{she}-->{John}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  216. eventTaskProcess: $0.0;0.0;.06$ <(~,{he},(~,{John,Mary},{Mary}))-->nouns>. %1.0;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  217. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{he}-->$1>>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  218. eventTaskProcess: $0.0;0.0;.11$ <{he,she}-->nouns>. %.64;.38% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  219. eventTaskProcess: $0.0;0.0;.05$ <(~,(~,{John,Mary},{John}),{John})<->{she}>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  220. eventTaskProcess: $0.0;0.0;.09$ (&&,<{John}-->#1>,<{she}-->#1>). %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  221. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{she}-->$1>>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  222. eventTaskProcess: $0.0;0.0;.07$ <<(~,{John,Mary},{Mary})-->$1><=><{Mary}-->$1>>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  223. eventTaskProcess: $0.0;0.0;.04$ <(|,(~,{John,Mary},{Mary}),(~,(~,{John,Mary},{John}),{John}))-->nouns>. %1.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  224. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1>==><{Mary}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  225. eventTaskProcess: $0.0;0.0;.03$ <<(~,{John,Mary},{Mary})-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  226. eventTaskProcess: $0.0;0.0;.18$ <{Mary}-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  227. eventTaskProcess: $0.0;0.0;.04$ <<{he}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  228. eventTaskProcess: $0.0;0.0;.10$ <{Mary,she}-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  229. eventTaskProcess: $0.0;0.0;.04$ <(&,(~,{John,Mary},{Mary}),(~,(~,{John,Mary},{John}),{John}))-->nouns>. %1.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  230. eventTaskProcess: $0.0;0.0;.04$ (&&,<{she}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  231. eventTaskProcess: $0.0;0.0;.12$ <{John}-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  232. eventTaskProcess: $0.0;0.0;.04$ <(|,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  233. eventTaskProcess: $0.0;0.0;.13$ <{Mary,she}-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  234. eventTaskProcess: $0.0;0.0;.07$ <(~,{Mary},(~,{John,Mary},{Mary}))-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  235. eventTaskProcess: $0.0;0.0;.09$ <<{Mary}-->$1>==><{she}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  236. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1><=><{she}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  237. eventTaskProcess: $0.0;0.0;.09$ <(~,{Mary},{he})-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  238. eventTaskProcess: $0.0;0.0;.04$ <<{he}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %1.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  239. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{John,Mary},{Mary}),{he,she})-->nouns>. %0.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  240. eventTaskProcess: $0.0;0.0;.07$ <(&,(~,{John},{Mary}),{John,Mary})-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  241. eventTaskProcess: $0.0;0.0;.06$ <(|,(~,{John,Mary},{Mary}),{he})-->nouns>. %1.0;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  242. eventTaskProcess: $0.0;0.0;.05$ (&&,<(~,{John,Mary},{Mary})-->#1>,<{he}-->#1>). %.80;.30% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  243. eventTaskProcess: $0.0;0.0;.06$ <(&,(~,{John},{Mary}),{Mary})-->nouns>. %0.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  244. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1>==><{he}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  245. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John,Mary},{Mary}),{John})-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  246. eventTaskProcess: $0.0;0.0;.13$ <{John,she}-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  247. eventTaskProcess: $0.0;0.0;.05$ <(~,(~,{John,Mary},{John}),{John})<->{he}>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  248. eventTaskProcess: $0.0;0.0;.06$ <(~,{he,she},{she})-->nouns>. %.16;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  249. eventTaskProcess: $0.0;0.0;.05$ <<{he,she}-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %1.0;.28% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  250. eventTaskProcess: $0.0;0.0;.04$ <(|,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  251. eventTaskProcess: $0.0;0.0;.15$ <{John,he}-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  252. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1>==><{she}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  253. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1>==><{Mary}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  254. eventTaskProcess: $0.0;0.0;.05$ <(~,{John},(~,{John,Mary},{Mary}))-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  255. eventTaskProcess: $0.0;0.0;.11$ <(~,{John},{he})-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  256. eventTaskProcess: $0.0;0.0;.06$ (&&,<{Mary}-->#1>,<(~,{John},{Mary})-->#1>). %0.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  257. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{John,Mary},{Mary}),{he,she})-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  258. eventTaskProcess: $0.0;0.0;.05$ <(~,{he,she},(~,{John,Mary},{Mary}))-->nouns>. %0.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  259. eventTaskProcess: $0.0;0.0;.08$ <(|,(~,{John},{Mary}),{Mary})-->nouns>. %1.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  260. eventTaskProcess: $0.0;0.0;.12$ <{he}-->{John}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  261. eventTaskProcess: $0.0;0.0;.03$ (&&,<{he}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  262. eventTaskProcess: $0.0;0.0;.04$ <(&,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  263. eventTaskProcess: $0.0;0.0;.04$ <<{he}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  264. eventTaskProcess: $0.0;0.0;.09$ <<{Mary}-->$1>==><{she}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  265. eventTaskProcess: $0.0;0.0;.04$ <<{she}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  266. eventTaskProcess: $0.0;0.0;.06$ <(|,(~,{John,Mary},{Mary}),{he})-->nouns>. %.80;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  267. eventTaskProcess: $0.0;0.0;.05$ <<{he}-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %.80;.30% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  268. eventTaskProcess: $0.0;0.0;.07$ <(~,{Mary},{he})-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  269. eventTaskProcess: $0.0;0.0;.05$ <(~,{John,Mary},(~,{John},{Mary}))-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  270. eventTaskProcess: $0.0;0.0;.09$ (&&,<{John}-->#1>,<{she}-->#1>). %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  271. eventTaskProcess: $0.0;0.0;.06$ <<{he}-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %1.0;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  272. eventTaskProcess: $0.0;0.0;.06$ <(~,{John,Mary},{Mary})<->{he,she}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  273. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John,Mary},{Mary}),{he})-->nouns>. %0.0;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  274. eventTaskProcess: $0.0;0.0;.07$ <(&,(~,{John,Mary},{Mary}),{Mary})-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  275. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1><=><{she}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  276. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1>==><{Mary}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  277. eventTaskProcess: $0.0;0.0;.07$ <(|,(~,{John,Mary},{Mary}),{Mary})-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  278. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %1.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  279. eventTaskProcess: $0.0;0.0;.06$ <(~,{he},(~,{John,Mary},{Mary}))-->nouns>. %.80;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  280. eventTaskProcess: $0.0;0.0;.04$ <(&,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  281. eventTaskProcess: $0.0;0.0;.07$ (&&,<(~,{John,Mary},{Mary})-->#1>,<{John}-->#1>). %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  282. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{he}-->$1>>. %1.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  283. eventTaskProcess: $0.0;0.0;.09$ (&&,<{he}-->#1>,<{John}-->#1>). %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  284. eventTaskProcess: $0.0;0.0;.06$ <<(~,{John,Mary},{Mary})-->$1>==><{he}-->$1>>. %.80;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  285. eventTaskProcess: $0.0;0.0;.13$ <{Mary,he}-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  286. eventTaskProcess: $0.0;0.0;.15$ <{John,she}-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  287. eventTaskProcess: $0.0;0.0;.09$ (&&,<{she}-->#1>,<{Mary}-->#1>). %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  288. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{he}-->$1>>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  289. eventTaskProcess: $0.0;0.0;.13$ <{John,he}-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  290. eventTaskProcess: $0.0;0.0;.06$ (&&,<(~,{John,Mary},{Mary})-->#1>,<{he}-->#1>). %.80;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  291. eventTaskProcess: $0.0;0.0;.05$ <(~,{he},(~,{John,Mary},{Mary}))-->nouns>. %0.0;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  292. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1><=><{Mary}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  293. eventTaskProcess: $0.0;0.0;.09$ (&&,<{he}-->#1>,<{Mary}-->#1>). %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  294. eventTaskProcess: $0.0;0.0;.05$ <(~,{Mary},(~,{John,Mary},{Mary}))-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  295. eventTaskProcess: $0.0;0.0;.03$ <(|,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %.20;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  296. eventTaskProcess: $0.0;0.0;.07$ <(~,{he,she},{she})-->nouns>. %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  297. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{Mary})-->$1>==><{he,she}-->$1>>. %1.0;.28% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  298. eventTaskProcess: $0.0;0.0;.07$ <<{she}-->$1><=><{he,she}-->$1>>. %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  299. eventTaskProcess: $0.0;0.0;.06$ <(&,(~,{John,Mary},{Mary}),{he})-->nouns>. %.80;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  300. eventTaskProcess: $0.0;0.0;.07$ <(&,(~,{John,Mary},{Mary}),{John})-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  301. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,{John,Mary},{John}),{John})<->{she}>. %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  302. eventTaskProcess: $0.0;0.0;.04$ (&&,<{she}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %1.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  303. eventTaskProcess: $0.0;0.0;.05$ <(~,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %1.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  304. eventTaskProcess: $0.0;0.0;.05$ (&&,<(~,{John,Mary},{Mary})-->#1>,<{he,she}-->#1>). %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  305. eventTaskProcess: $0.0;0.0;.11$ <{he,she}-->nouns>. %.64;.34% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  306. eventTaskProcess: $0.0;0.0;.03$ <(&,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %.20;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  307. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{she}-->$1>>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  308. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1>==><{she}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  309. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1>==><{John}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  310. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %1.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  311. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1><=><{Mary}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  312. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John,Mary},{Mary}),{he,she})-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  313. eventTaskProcess: $0.0;0.0;.06$ <(|,(~,{John,Mary},{Mary}),{he,she})-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  314. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  315. eventTaskProcess: $0.0;0.0;.03$ <(|,(~,{John,Mary},{Mary}),(~,(~,{John,Mary},{John}),{John}))-->nouns>. %0.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  316. eventTaskProcess: $0.0;0.0;.04$ <<(~,{John,Mary},{Mary})-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %1.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  317. eventTaskProcess: $0.0;0.0;.03$ (&&,<(~,{John,Mary},{Mary})-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %0.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  318. eventTaskProcess: $0.0;0.0;.03$ (&&,<{she}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  319. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1>==><{John}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  320. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1><=><{she}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  321. eventTaskProcess: $0.0;0.0;.03$ <(~,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %.20;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  322. eventTaskProcess: $0.0;0.0;.07$ <(~,{John},(~,{John,Mary},{Mary}))-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  323. eventTaskProcess: $0.0;0.0;.04$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><{she}-->$1>>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  324. eventTaskProcess: $0.0;0.0;.07$ <(~,{John,Mary},(~,{John},{Mary}))-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  325. eventTaskProcess: $0.0;0.0;.09$ (&&,<{he}-->#1>,<{Mary}-->#1>). %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  326. eventTaskProcess: $0.0;0.0;.03$ <<{she}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  327. eventTaskProcess: $0.0;0.0;.03$ <(~,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %.20;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  328. eventTaskProcess: $0.0;0.0;.12$ <{she}<->{Mary}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  329. eventTaskProcess: $0.0;0.0;.04$ <<(~,{John,Mary},{Mary})-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %1.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  330. eventTaskProcess: $0.0;0.0;.12$ <{he}<->{John}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  331. eventTaskProcess: $0.0;0.0;.09$ (&&,<{he}-->#1>,<{John}-->#1>). %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  332. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{Mary})-->$1>==><{he}-->$1>>. %.80;.30% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  333. eventTaskProcess: $0.0;0.0;.14$ <{she}-->nouns>. %.64;.38% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  334. eventTaskProcess: $0.0;0.0;.09$ <<{John}-->$1>==><{he}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  335. eventTaskProcess: $0.0;0.0;.05$ (&&,<(~,{John,Mary},{Mary})-->#1>,<{he,she}-->#1>). %1.0;.28% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  336. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1><=><{Mary}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  337. eventTaskProcess: $0.0;0.0;.04$ (&&,<(~,{John,Mary},{Mary})-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %1.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  338. eventTaskProcess: $0.0;0.0;.03$ <<{he}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  339. eventTaskProcess: $0.0;0.0;.07$ <(~,{John,Mary},{Mary})<->{he}>. %.80;.30% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  340. eventTaskProcess: $0.0;0.0;.04$ <(&,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  341. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{John,Mary},{Mary}),{Mary})-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  342. eventTaskProcess: $0.0;0.0;.03$ <<(~,(~,{John,Mary},{John}),{John})-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %0.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  343. eventTaskProcess: $0.0;0.0;.05$ (&&,<{John,Mary}-->#1>,<(~,{John},{Mary})-->#1>). %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  344. eventTaskProcess: $0.0;0.0;.06$ <<{he}-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %.80;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  345. eventTaskProcess: $0.0;0.0;.12$ <{she}<->{John}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  346. eventTaskProcess: $0.0;0.0;.08$ <(~,{Mary},(~,{John},{Mary}))-->nouns>. %1.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  347. eventTaskProcess: $0.0;0.0;.04$ (&&,<{he}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  348. eventTaskProcess: $0.0;0.0;.12$ <{she}-->nouns>. %.16;.38% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  349. eventTaskProcess: $0.0;0.0;.07$ <(|,(~,{John},{Mary}),{John,Mary})-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  350. eventTaskProcess: $0.0;0.0;.04$ <<{she}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  351. eventTaskProcess: $0.0;0.0;.04$ <<{he}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  352. eventTaskProcess: $0.0;0.0;.05$ <(~,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %1.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  353. eventTaskProcess: $0.0;0.0;.06$ <(|,(~,{John},{Mary}),{Mary})-->nouns>. %0.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  354. eventTaskProcess: $0.0;0.0;.15$ <{Mary,he}-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  355. eventTaskProcess: $0.0;0.0;.04$ <<{she}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  356. eventTaskProcess: $0.0;0.0;.04$ <<{she}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  357. eventTaskProcess: $0.0;0.0;.06$ <(~,{he,she},{he})-->nouns>. %.16;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  358. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1><=><{John}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  359. eventTaskProcess: $0.0;0.0;.07$ <<{John}-->$1>==><(~,{John,Mary},{Mary})-->$1>>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  360. eventTaskProcess: $0.0;0.0;.09$ <<{Mary}-->$1>==><{he}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  361. eventTaskProcess: $0.0;0.0;.09$ (&&,<{she}-->#1>,<{Mary}-->#1>). %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  362. eventTaskProcess: $0.0;0.0;.07$ <(|,(~,{John,Mary},{Mary}),{John})-->nouns>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  363. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1>==><{Mary}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  364. eventTaskProcess: $0.0;0.0;.07$ <<{he,she}-->$1>==><{she}-->$1>>. %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  365. eventTaskProcess: $0.0;0.0;.06$ <(&,(~,{John,Mary},{Mary}),{he,she})-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  366. eventTaskProcess: $0.0;0.0;.06$ <(&,(~,{John,Mary},{Mary}),{he})-->nouns>. %1.0;.42% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  367. eventTaskProcess: $0.0;0.0;.09$ <<{Mary}-->$1>==><{he}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  368. eventTaskProcess: $0.0;0.0;.07$ <(~,{Mary},{she})-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  369. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1>==><{John}-->$1>>. %1.0;.27% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  370. eventTaskProcess: $0.0;0.0;.06$ <<(~,{John,Mary},{Mary})-->$1><=><{he}-->$1>>. %1.0;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  371. eventTaskProcess: $0.0;0.0;.09$ <<{he}-->$1>==><{John}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  372. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,(~,{John,Mary},{John}),{John}),{she})-->nouns>. %1.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  373. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John,Mary},{Mary}),{he,she})-->nouns>. %0.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  374. eventTaskProcess: $0.0;0.0;.09$ <(~,{Mary},{she})-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  375. eventTaskProcess: $0.0;0.0;.04$ <<{she}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %1.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  376. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John,Mary},{Mary}),{Mary})-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  377. eventTaskProcess: $0.0;0.0;.04$ <<{he}-->$1>==><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  378. eventTaskProcess: $0.0;0.0;.07$ <<{he,she}-->$1>==><{he}-->$1>>. %.64;.38% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  379. eventTaskProcess: $0.0;0.0;.03$ <(~,(~,(~,{John,Mary},{John}),{John}),(~,{John,Mary},{Mary}))-->nouns>. %0.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  380. eventTaskProcess: $0.0;0.0;.09$ <(~,{John},{he})-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  381. eventTaskProcess: $0.0;0.0;.09$ <{he,she}-->nouns>. %.16;.38% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  382. eventTaskProcess: $0.0;0.0;.08$ (&&,<{he}-->#1>,<{she}-->#1>). %.64;.34% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  383. eventTaskProcess: $0.0;0.0;.04$ <(|,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  384. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1>==><{Mary}-->$1>>. %.80;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  385. eventTaskProcess: $0.0;0.0;.12$ <{he}-->{Mary}>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  386. eventTaskProcess: $0.0;0.0;.06$ <(~,{he,she},(~,{John,Mary},{Mary}))-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  387. eventTaskProcess: $0.0;0.0;.14$ <{he}-->nouns>. %.64;.34% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  388. eventTaskProcess: $0.0;0.0;.03$ <(&,(~,{John,Mary},{Mary}),(~,(~,{John,Mary},{John}),{John}))-->nouns>. %0.0;.43% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  389. eventTaskProcess: $.01;0.0;.15$ <{Mary}-->pronouns>. %.80;.38% {1451963080058: 1;3} ((%1,<%2==>%3>),(occurrsForward(substituteIfUnifies(%3,"$",%2,%1),%2,"==>"),(<Deduction-->Truth>,<Induction-->Desire>,<ForAllSame-->Order>,<Anticipate-->Event>)))
  390. eventTaskProcess: $0.0;0.0;.05$ <{she}-->(~,(~,{John,Mary},{John}),{John})>. %.80;.25% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<%3-->%1>,(<Induction-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  391. eventTaskProcess: $0.0;0.0;.10$ <{John,she}-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  392. eventTaskProcess: $0.0;0.0;.04$ (&&,<{she}-->#1>,<(~,(~,{John,Mary},{John}),{John})-->#1>). %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  393. eventTaskProcess: $0.0;0.0;.16$ <{Mary}-->nouns>. %.80;.47% {1451963080058: 1;2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  394. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,{John,Mary},{John}),{John})<->{he}>. %0.0;.21% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%3,%1)),(<%1<->%3>,(<Comparison-->Truth>,<Weak-->Desire>,<AllowBackward-->Derive>)))
  395. eventTaskProcess: $0.0;0.0;.08$ <<{he}-->$1><=><{she}-->$1>>. %.64;.34% {1451963080058: 2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  396. eventTaskProcess: $0.0;0.0;.07$ (&&,<(~,{John,Mary},{Mary})-->#1>,<{Mary}-->#1>). %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  397. eventTaskProcess: $0.0;0.0;.04$ <<{he}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %0.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  398. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{Mary})-->$1><=><{he,she}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  399. eventTaskProcess: $0.0;0.0;.11$ <(~,{Mary},{he})-->nouns>. %1.0;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  400. eventTaskProcess: $0.0;0.0;.04$ <<{she}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  401. eventTaskProcess: $0.0;0.0;.12$ <{he}-->nouns>. %.16;.38% {1451963080058: 2;3} ((<{%1..+}-->%2>,<{%3..+}-->%2>),(<{%1..+,%3..+}-->%2>,(<Intersection-->Truth>),<intersect({%1..+},{%3..+})-->%2>,(<Union-->Truth>),<differ({%1..+},{%3..+})-->%2>,(<Difference-->Truth>)))
  402. eventTaskProcess: $0.0;0.0;.04$ <<{he}-->$1><=><(~,(~,{John,Mary},{John}),{John})-->$1>>. %.80;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  403. eventTaskProcess: $0.0;0.0;.09$ (&&,<{he}-->#1>,<{Mary}-->#1>). %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  404. eventTaskProcess: $0.0;0.0;.06$ <<(~,{John},{Mary})-->$1>==><{Mary}-->$1>>. %0.0;.53% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  405. eventTaskProcess: $0.0;0.0;.07$ <(~,{John},{she})-->nouns>. %.20;.47% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  406. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{John},{Mary}),{John,Mary})-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  407. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{Mary})-->$1>==><{he,she}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  408. eventTaskProcess: $0.0;0.0;.09$ <<{Mary}-->$1>==><{he}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  409. eventTaskProcess: $0.0;0.0;.05$ <<(~,{John,Mary},{Mary})-->$1><=><{he,she}-->$1>>. %1.0;.28% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  410. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John},{Mary}),{John,Mary})-->nouns>. %0.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  411. eventTaskProcess: $0.0;0.0;.07$ <<(~,{John,Mary},{Mary})-->$1>==><{Mary}-->$1>>. %1.0;.59% {1451963080058: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  412. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,(~,{John,Mary},{John}),{John}),{he})-->nouns>. %1.0;.34% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  413. eventTaskProcess: $0.0;0.0;.09$ <<{she}-->$1>==><{John}-->$1>>. %.80;.32% {1451963080058: 1;2;3} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  414. eventTaskProcess: $0.0;0.0;.07$ <(|,(~,{he,she},{he}),{he})-->pronouns>. %1.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  415. eventTaskProcess: $0.0;0.0;.06$ <(|,(~,{John},{Mary}),{John,Mary})-->nouns>. %1.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  416. eventTaskProcess: $0.0;0.0;.05$ <(~,(~,{he,she},{he}),{he})-->pronouns>. %0.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  417. eventTaskProcess: $0.0;0.0;.03$ <<(~,{John},{Mary})-->$1><=><(|,(~,{John},{Mary}),{John,Mary})-->$1>>. %0.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  418. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{John},{Mary}),{John,Mary})-->nouns>. %0.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  419. eventTaskProcess: $0.0;0.0;.11$ <<$1-->nouns><=><$1-->pronouns>>. %.64;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,neq(%2,%3)),(<<$4-->%2>==><$4-->%3>>,(<Induction-->Truth>),<<$4-->%3>==><$4-->%2>>,(<Abduction-->Truth>),<<$4-->%2><=><$4-->%3>>,(<Comparison-->Truth>),(&&,<#5-->%2>,<#5-->%3>),(<Intersection-->Truth>)))
  420. eventTaskProcess: $0.0;0.0;.03$ <<(|,(~,{John},{Mary}),{John,Mary})-->$1>==><(~,{John},{Mary})-->$1>>. %0.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  421. eventTaskProcess: $0.0;0.0;.04$ <(&,(|,(~,{John},{Mary}),{John,Mary}),(~,{John},{Mary}))-->nouns>. %1.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  422. eventTaskProcess: $0.0;0.0;.08$ <{he}-->(-,nouns,pronouns)>. %0.0;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  423. eventTaskProcess: $0.0;0.0;.04$ <<(~,{John},{Mary})-->$1>==><(~,{Mary},{John,Mary})-->$1>>. %0.0;.48% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  424. eventTaskProcess: $0.0;0.0;.04$ <(|,(~,{Mary},{John,Mary}),(~,{John},{Mary}))-->nouns>. %0.0;.48% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  425. eventTaskProcess: $0.0;0.0;.07$ <<{he}-->$1><=><(~,{he,she},{he})-->$1>>. %1.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  426. eventTaskProcess: $0.0;0.0;.08$ <{he}-->(|,nouns,pronouns)>. %0.0;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  427. eventTaskProcess: $0.0;0.0;.05$ <<(~,{he,she},{he})-->$1>==><{he}-->$1>>. %0.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  428. eventTaskProcess: $0.0;0.0;.11$ <<$1-->pronouns>==><$1-->nouns>>. %.64;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,neq(%2,%3)),(<<$4-->%2>==><$4-->%3>>,(<Induction-->Truth>),<<$4-->%3>==><$4-->%2>>,(<Abduction-->Truth>),<<$4-->%2><=><$4-->%3>>,(<Comparison-->Truth>),(&&,<#5-->%2>,<#5-->%3>),(<Intersection-->Truth>)))
  429. eventTaskProcess: $0.0;0.0;.04$ <(~,(~,{Mary},{John,Mary}),(~,{John},{Mary}))-->nouns>. %0.0;.48% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  430. eventTaskProcess: $0.0;0.0;.04$ (&&,<(~,{Mary},{John,Mary})-->#1>,<(~,{John},{Mary})-->#1>). %0.0;.48% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  431. eventTaskProcess: $0.0;0.0;.05$ <<{he}-->$1>==><(~,{he,she},{he})-->$1>>. %0.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  432. eventTaskProcess: $0.0;0.0;.03$ <<(~,{John},{Mary})-->$1>==><(|,(~,{John},{Mary}),{John,Mary})-->$1>>. %0.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  433. eventTaskProcess: $0.0;0.0;.04$ <<(~,{Mary},{John,Mary})-->$1><=><(~,{John},{Mary})-->$1>>. %0.0;.48% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  434. eventTaskProcess: $0.0;0.0;.04$ <(&,(~,{Mary},{John,Mary}),(~,{John},{Mary}))-->nouns>. %0.0;.48% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  435. eventTaskProcess: $0.0;0.0;.04$ <<(~,{Mary},{John,Mary})-->$1>==><(~,{John},{Mary})-->$1>>. %0.0;.48% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  436. eventTaskProcess: $0.0;0.0;.08$ <{he}-->(&,nouns,pronouns)>. %0.0;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  437. eventTaskProcess: $0.0;0.0;.05$ <(|,(~,{he,she},{he}),{he})-->pronouns>. %0.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  438. eventTaskProcess: $0.0;0.0;.11$ (&&,<#1-->nouns>,<#1-->pronouns>). %.64;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,neq(%2,%3)),(<<$4-->%2>==><$4-->%3>>,(<Induction-->Truth>),<<$4-->%3>==><$4-->%2>>,(<Abduction-->Truth>),<<$4-->%2><=><$4-->%3>>,(<Comparison-->Truth>),(&&,<#5-->%2>,<#5-->%3>),(<Intersection-->Truth>)))
  439. eventTaskProcess: $0.0;0.0;.09$ <{he}-->(-,nouns,pronouns)>. %.64;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  440. eventTaskProcess: $0.0;0.0;.09$ <{he}-->(&,nouns,pronouns)>. %.64;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  441. eventTaskProcess: $0.0;0.0;.07$ (&&,<{he}-->#1>,<(~,{he,she},{he})-->#1>). %1.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  442. eventTaskProcess: $0.0;0.0;.07$ <(~,(~,{he,she},{he}),{he})-->pronouns>. %1.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  443. eventTaskProcess: $0.0;0.0;.05$ <(&,(~,{he,she},{he}),{he})-->pronouns>. %0.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  444. eventTaskProcess: $0.0;0.0;.11$ <<$1-->nouns>==><$1-->pronouns>>. %.64;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,neq(%2,%3)),(<<$4-->%2>==><$4-->%3>>,(<Induction-->Truth>),<<$4-->%3>==><$4-->%2>>,(<Abduction-->Truth>),<<$4-->%2><=><$4-->%3>>,(<Comparison-->Truth>),(&&,<#5-->%2>,<#5-->%3>),(<Intersection-->Truth>)))
  445. eventTaskProcess: $0.0;0.0;.07$ <<{he}-->$1>==><(~,{he,she},{he})-->$1>>. %1.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  446. eventTaskProcess: $0.0;0.0;.07$ <(&,(~,{he,she},{he}),{he})-->pronouns>. %1.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  447. eventTaskProcess: $0.0;0.0;.03$ <(&,(|,(~,{John},{Mary}),{John,Mary}),(~,{John},{Mary}))-->nouns>. %0.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  448. eventTaskProcess: $0.0;0.0;.05$ <<{he}-->$1><=><(~,{he,she},{he})-->$1>>. %0.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  449. eventTaskProcess: $0.0;0.0;.03$ (&&,<(~,{John},{Mary})-->#1>,<(|,(~,{John},{Mary}),{John,Mary})-->#1>). %0.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  450. eventTaskProcess: $0.0;0.0;.07$ <<(~,{he,she},{he})-->$1>==><{he}-->$1>>. %1.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  451. eventTaskProcess: $0.0;0.0;.09$ <{he}-->(|,nouns,pronouns)>. %.64;.31% {1451963081447: 2;3} ((<%1-->%2>,<%1-->%3>,notSet(%3),notSet(%2),neq(%3,%2),no_common_subterm(%3,%2)),(<%1-->(&,%2,%3)>,(<Intersection-->Truth>),<%1-->(|,%2,%3)>,(<Union-->Truth>),<%1-->(-,%2,%3)>,(<Difference-->Truth>)))
  452. eventTaskProcess: $0.0;0.0;.03$ <(~,(|,(~,{John},{Mary}),{John,Mary}),(~,{John},{Mary}))-->nouns>. %0.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
  453. eventTaskProcess: $0.0;0.0;.05$ (&&,<{he}-->#1>,<(~,{he,she},{he})-->#1>). %0.0;.59% {1451963081447: 2} ((<%1-->%2>,<%3-->%2>,neq(%1,%3)),(<<%3-->$4>==><%1-->$4>>,(<Abduction-->Truth>),<<%1-->$4>==><%3-->$4>>,(<Induction-->Truth>),<<%1-->$4><=><%3-->$4>>,(<Comparison-->Truth>),(&&,<%1-->#5>,<%3-->#5>),(<Intersection-->Truth>)))
  454. eventTaskProcess: $0.0;0.0;.04$ <(~,(|,(~,{John},{Mary}),{John,Mary}),(~,{John},{Mary}))-->nouns>. %1.0;.39% {1451963081447: 1} ((<%1-->%2>,<%3-->%2>,notSet(%3),notSet(%1),neq(%3,%1),no_common_subterm(%3,%1)),(<(|,%1,%3)-->%2>,(<Intersection-->Truth>),<(&,%1,%3)-->%2>,(<Union-->Truth>),<(~,%1,%3)-->%2>,(<Difference-->Truth>)))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement