Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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 ^^
- :patham9_!557f2729@gateway/web/freenode/ip.85.127.39.41 PRIVMSG #nars :MARchy doesnt instantly answer or answer at all like mr_nars does ^^
- nars.Narsese$NarseseException: Input syntax error: MARchy doesnt instantly answer or answer at all like mr_nars does ^^
- at nars.NAR.input(NAR.java:202)
- at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
- at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
- at java.lang.Thread.run(Thread.java:806)
- 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 ^^
- eventTaskProcess: $0.0;0.0;.10$ <(~,{John,Mary},{John})-->nouns>. %1.0;.59% {1451963058658: 1} ((<(~,%1,%2)-->%3>,%3),(<%1-->%3>,(<StructuralDeduction-->Truth>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- eventTaskProcess: $.10;.05;.19$ <eat-->(/,_,he,meat)>. %1.0;.90% {1451963062667: 5} ((<(%1..+)-->%2>,%2),(<%2-->(/,_,%1..+)>,(<Identity-->Truth>,<Identity-->Desire>)))
- 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>)))
- 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>)))
- eventTaskProcess: $0.0;0.0;.21$ <{he}-->pronouns>. %1.0;.66% {1451963064005: 2} ((<{%1..+,%2}-->%3>,%3),(<{%2}-->%3>,(<StructuralDeduction-->Truth>)))
- 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>)))
- 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>)))
- eventTaskProcess: $0.0;0.0;.20$ <{he}-->pronouns>. %1.0;.59% {1451963064005: 2} ((<{%1..+,%2}-->%3>,%3),(<{%2}-->%3>,(<StructuralDeduction-->Truth>)))
- eventTaskProcess: $0.0;0.0;.20$ <{she}-->pronouns>. %1.0;.59% {1451963064005: 2} ((<{%1..+,%2}-->%3>,%3),(<{%2}-->%3>,(<StructuralDeduction-->Truth>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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
- :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :NARchy is answering stuff locally
- nars.Narsese$NarseseException: Input syntax error: NARchy is answering stuff locally
- at nars.NAR.input(NAR.java:202)
- at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
- at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
- at java.lang.Thread.run(Thread.java:806)
- NARchy is answering stuff locally java.lang.RuntimeException: nars.Narsese$NarseseException: Input syntax error: NARchy is answering stuff locally
- 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
- :patham9_!557f2729@gateway/web/freenode/ip.85.127.39.41 PRIVMSG #nars :hence bp1 is the better branch. haha just joking :D
- nars.Narsese$NarseseException: Input syntax error: hence bp1 is the better branch. haha just joking :D
- at nars.NAR.input(NAR.java:202)
- at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
- at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
- at java.lang.Thread.run(Thread.java:806)
- 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
- 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
- :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :i have this priorit threshold
- nars.Narsese$NarseseException: Input syntax error: i have this priorit threshold
- at nars.NAR.input(NAR.java:202)
- at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
- at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
- at java.lang.Thread.run(Thread.java:806)
- i have this priorit threshold java.lang.RuntimeException: nars.Narsese$NarseseException: Input syntax error: i have this priorit threshold
- eventTaskProcess: $0.0;0.0;.21$ <{he,she}-->#1>. %1.0;.66% {1451963070695: 2} (((&&,%1..+,%2),%2),(%2,(<StructuralDeduction-->Truth>,<StructuralStrong-->Desire>,<ForAllSame-->Order>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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
- :sseehh__!~me@c-73-154-134-185.hsd1.pa.comcast.net PRIVMSG #nars :unless you want it to flood and ge tkicked immediately
- nars.Narsese$NarseseException: Input syntax error: unless you want it to flood and ge tkicked immediately
- at nars.NAR.input(NAR.java:202)
- at nars.irc.NarseseIRCBot.onMessage(NarseseIRCBot.java:247)
- at nars.irc.IRCBot.lambda$new$0(IRCBot.java:102)
- at java.lang.Thread.run(Thread.java:806)
- 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
- eventTaskProcess: $0.0;0.0;.11$ <{he,she}-->{John}>. %1.0;.29% {1451963076053: 1;2;3} ((<%1-->{%2..+,%3}>,%1),(<%1-->{%3}>,(<StructuralDeduction-->Truth>)))
- eventTaskProcess: $0.0;0.0;.11$ <{he,she}-->{Mary}>. %1.0;.29% {1451963076053: 1;2;3} ((<%1-->{%2..+,%3}>,%1),(<%1-->{%3}>,(<StructuralDeduction-->Truth>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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>)))
- 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