02:36] <dmiles> [the, shopper, bought, fries]
[02:36] <dmiles> (thereExists ?shopper4794
[02:36] <dmiles>    (and (isa ?shopper4794 (FrequentPerformerFn Shopping ) )
[02:36] <dmiles>    (and (and (isa ?fries20 Frying )
[02:36] <dmiles>    (objectOfStateChange ?fries20 ?POSSESSOR13610 ) )
[02:36] <dmiles>    (and (occursDuring ?bought3 Past )
[02:36] <dmiles>    (and (isa ?bought3 Buying )
[02:36] <dmiles>    (buyer ?bought3 ?shopper4794 )
[02:36] <dmiles>    (objectPaidFor ?bought3 ?fries20 ) ) ) ) ) )
-


02:40] <dmiles> ?- e2c("I saw the wood").
[02:40] <dmiles> (thereExists ?SPEAKER
[02:40] <dmiles>   (and
[02:40] <dmiles>     (isa ?SPEAKER Person )
[02:40] <dmiles>     (and
[02:40] <dmiles>       (isa ?SEEN1 Event )
[02:40] <dmiles>       (thereExists ?WOOD5
[02:40] <dmiles>         (and
[02:40] <dmiles>           (isa ?WOOD5
[02:40] <dmiles>             (OneOfFn Wood Wood-GolfClub WoodedArea ) )
[02:40] <dmiles>           (or
[02:40] <dmiles>             (awareOf ?SPEAKER ?WOOD5 )
[02:40] <dmiles>             (and
[02:40] <dmiles>               (isa ?SEEN1 VisualPerception )
[02:40] <dmiles>               (performedBy ?SEEN1 ?SPEAKER )
[02:40] <dmiles>               (perceivedThings ?SEEN1 ?WOOD5 ) ) ) ) ) ) ) )
-
-
[02:46] <dmiles> note the "or" there
[02:47] <dmiles> the next thing the system does is cannonicalizes this into sourcecode foir a datalotg program
[02:48] <dmiles> and also does queries this way
[02:49] <dmiles> ?- e2c("I saw him Monday?").
[02:49] <dmiles> (thereExists ?SPEAKER
[02:49] <dmiles>   (and
[02:49] <dmiles>     (isa ?SPEAKER Person )
[02:49] <dmiles>     (implies
[02:49] <dmiles>       (occursDuring ?SAW2 Monday )
[02:49] <dmiles>       (holdsIn ?SAW2
[02:49] <dmiles>         (and
[02:49] <dmiles>           (isa ?SAW2 Event )
[02:49] <dmiles>           (thereExists ?HIM
[02:49] <dmiles>             (and
[02:49] <dmiles>               (equals ?HIM
[02:49] <dmiles>                 (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) )
[02:49] <dmiles>               (or
[02:49] <dmiles>                 (awareOf ?SPEAKER ?HIM )
[02:49] <dmiles>                 (and
[02:49] <dmiles>                   (isa ?SAW2 VisualPerception )
[02:49] <dmiles>                   (performedBy ?SAW2 ?SPEAKER )
[02:49] <dmiles>                   (perceivedThings ?SAW2 ?HIM ) ) ) ) ) ) ) ) ) )
-