View difference between Paste ID: qSTFGGXq and 72c7CkqM

 % =========================================================================================================
 
 %                       [how,many,postures,are,there,?]
-%                       [how,large,is,the,smallest,american,country,?]
+
 % ---------------------------------------------------------------------------------------------------
 
 Sentence(report): 0sec.
 [how,many,postures,are,there,?]
-[w(how,open),w(large,open),w(is,open),w(the,open),w(smallest,open),w(american,open),w(country,open),w(?,open)]
+%     succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 
-POS Sentence(report): 0sec.
+Parse: 0.003999999999990678sec.
-[w(how,open),w(large,open),w(is,open),w(the,open),w(smallest,open),w(american,open),w(country,open),w(?,open)]
+whq(A, s(np(3+pl, np_head(quant(same, wh(A)), [], posture), []), verb(be, active, pres+fin, [], pos(B), be), [void(there)], [])) :-
         whq(A,
-Parse: 0.002999999999985903sec.
+            s(np(3+pl, np_head(quant(same, wh(A)), [], posture), []),
-whq(A, s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(small)), adj(american)], country), []), verb(be, active, pres+fin, [], pos(B), be), [arg(pred, value(adj(large), wh(A)))], [])) :-
+
               [void(there)],
-            s(np(3+sg,
+
-                 np_head(det(the(sg)),
+
-                         [sup(most, adj(small)), adj(american)],
+%              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],posture),[]),np_head(quant(same,wh(A)),[],posture),B,quant(C,D,E,F,G,B),C,D,E,F,G)
-                         country),
+%              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],posture),[]),np_head(quant(same,wh(A)),[],posture),B,quant(C,D,E,F,G,B),C,D,E,F,G)
-                 []),
+%        var_simplify((answer80([A]):-numberof(B, (((isa(B,posture),true),true),B^ (((true,true),true),true,true,true,true)),A)),C)
 
-              [arg(pred, value(adj(large), wh(A)))],
+
 answer80([B]) :-
    B = numberof C
-%       good_kyqdhq(np(3+sg,np_head(det(the(sg)),[sup(most,adj(small)),adj(american)],country),[]),np_head(det(the(sg)),[sup(most,adj(small)),adj(american)],country),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+     isa(C,posture)
-%       good_kyqdhq(np(3+sg,np_head(det(the(sg)),[sup(most,adj(small)),adj(american)],country),[]),np_head(det(the(sg)),[sup(most,adj(small)),adj(american)],country),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+   & exists C
-% var_simplify((answer80([A]):-B^ ((C^ (setof(D:E, (country(E), (areaOf(E,D),american(E),true),true),C),aggregate(min,C,B)),true),true,true,areaOf(B,A),true)),F)
+       true
 
 Reply: 0.0sec.
 [4]
-   exists C
+
-     exists D
+
-       D = setof E:F
+
-         country(F)
+
-       & areaOf(F,E)
+
-       & american(F)
+%                       [how,many,postures,are,there,?]
-     & aggregate(min,D,C)
+
-   & areaOf(C,B)
+
 
-Reply: 0.001999999999995339sec.
+
-[--(0,ksqmiles)]
+
 %                       [what,are,the,postures,?]
 
 % ---------------------------------------------------------------------------------------------------
 
 Sentence(report): 0sec.
-%                       [how,large,is,the,smallest,american,country,?]
+[what,are,the,postures,?]
 %              succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %                 succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %              succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %                  succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %          succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
-%                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]
+%             succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %          succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %              succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %       succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %          succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
-[w(what,open),w(is,open),w(the,open),w(ocean,open),w(that,open),w(borders,open),w(african,open),w(countries,open),w(and,open),w(that,open),w(borders,open),w(asian,open),w(countries,open),w(?,open)]
+%       succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
 %           succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
-POS Sentence(report): 0sec.
+%         succeed(moo: (not((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
-[w(what,open),w(is,open),w(the,open),w(ocean,open),w(that,open),w(borders,open),w(african,open),w(countries,open),w(and,open),w(that,open),w(borders,open),w(asian,open),w(countries,open),w(?,open)]
+
 Parse: 0.028000000000005798sec.
-Parse: 0.006000000000000227sec.
+whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(B), be), [arg(dir, np(3+pl, np_head(det(the(pl)), [], posture), []))], [])) :-
-whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(D), be), [arg(dir, np(3+sg, np_head(det(the(sg)), [], ocean), [conj(and, rel(B, s(np(3+sg, wh(B), []), verb(border, active, pres+fin, [], pos(E), tv), [arg(dir, np(3+pl, np_head(generic, [adj(african)], country), []))], [])), rel(C, s(np(3+sg, wh(C), []), verb(border, active, pres+fin, [], pos(F), tv), [arg(dir, np(3+pl, np_head(generic, [adj(asian)], country), []))], [])))]))], [])) :-
+
             s(np(3+pl, wh(A), []),
-            s(np(3+sg, wh(A), []),
+
-              verb(be, active, pres+fin, [], pos(D), be),
+              [arg(dir, np(3+pl, np_head(det(the(pl)), [], posture), []))],
               [])).
-              [ arg(dir,
+
-                    np(3+sg,
+%              good_kyqdhq(np(3+pl,wh(A),[]),wh(A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
-                       np_head(det(the(sg)), [], ocean),
+%               good_kyqdhq(np(3+pl,np_head(det(the(pl)),[],posture),[]),np_head(det(the(pl)),[],posture),A,quant(B,C,D,E,F,A),B,C,D,E,F)
 %        var_simplify((answer80([A]):-B^ (setof(C, ((isa(C,posture),true),true),B), ((true,true),true),true,A=B,true,true)),D)
-                       [ conj(and,
+
-                              rel(B,
+
-                                  s(np(3+sg, wh(B), []),
+
-                                    verb(border,
+   B = setof C
-                                         active,
+     isa(C,posture)
-                                         pres+fin,
+
-                                         [],
+
-                                         pos(E),
+[[kneel,lay,sit,stand]]
-                                         tv),
+
 % ---------------------------------------------------------------------------------------------------
-                                    [ arg(dir,
+
-                                          np(3+pl,
+
-                                             np_head(generic,
+
-                                                     [adj(african)],
+%                       [what,are,the,postures,?]
-                                                     country),
+
-                                             []))
+
-                                    ],
+
-                                    [])),
+
-                              rel(C,
+
-                                  s(np(3+sg, wh(C), []),
+%                       [what,are,the,types,?]
-                                    verb(border,
+
-                                         active,
+
-                                         pres+fin,
+
-                                         [],
+
-                                         pos(F),
+[what,are,the,types,?]
-                                         tv),
+%              succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
 %              succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                                    [ arg(dir,
+%                 succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                                          np(3+pl,
+%              succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                                             np_head(generic,
+%                  succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                                                     [adj(asian)],
+%          succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                                                     country),
+%          succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                                             []))
+%             succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                                    ],
+%          succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                                    [])))
+%              succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-                       ]))
+%       succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-              ],
+%       succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
 %          succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
 %       succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-%       good_kyqdhq(np(3+sg,wh(A),[]),wh(A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+%           succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-%        good_kyqdhq(np(3+sg,np_head(det(the(sg)),[],ocean),[conj(and,rel(A,s(np(3+sg,wh(A),[]),verb(border,active,pres+fin,[],pos(B),tv),[arg(dir,np(3+pl,np_head(generic,[adj(african)],country),[]))],[])),rel(C,s(np(3+sg,wh(C),[]),verb(border,active,pres+fin,[],pos(D),tv),[arg(dir,np(3+pl,np_head(generic,[adj(asian)],country),[]))],[])))]),np_head(det(the(sg)),[],ocean),E,quant(F,G,H,I,J,E),F,G,H,I,J)
+%         succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
-%                 good_kyqdhq(np(3+sg,wh(feature&place&seamass-A),[]),wh(feature&place&seamass-A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+
-%                  good_kyqdhq(np(3+pl,np_head(generic,[adj(african)],country),[]),np_head(generic,[adj(african)],country),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+Parse: 0.018000000000000682sec.
-%                 good_kyqdhq(np(3+sg,wh(feature&place&seamass-A),[]),wh(feature&place&seamass-A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(B), be), [arg(dir, np(3+pl, np_head(det(the(pl)), [], type), []))], [])) :-
-%                  good_kyqdhq(np(3+pl,np_head(generic,[adj(african)],country),[]),np_head(generic,[adj(african)],country),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+
-%                 good_kyqdhq(np(3+sg,wh(feature&place&seamass-A),[]),wh(feature&place&seamass-A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+
-%                  good_kyqdhq(np(3+pl,np_head(generic,[adj(asian)],country),[]),np_head(generic,[adj(asian)],country),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+
-%                 good_kyqdhq(np(3+sg,wh(feature&place&seamass-A),[]),wh(feature&place&seamass-A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+              [arg(dir, np(3+pl, np_head(det(the(pl)), [], type), []))],
-%                  good_kyqdhq(np(3+pl,np_head(generic,[adj(asian)],country),[]),np_head(generic,[adj(asian)],country),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+
-% var_simplify((answer80([A]):-B^ (((ocean(B),true), ((C^ (((country(C),true),african(C),true), ((true,true),true), (true,borders(B,C),true,true),true),true),D^ (((country(D),true),asian(D),true), ((true,true),true), (true,borders(B,D),true,true),true),true),true), ((true,true),true),true,A=B,true,true)),E)
+
 %              good_kyqdhq(np(3+pl,wh(A),[]),wh(A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
-Semantics: 0.027000000000001023sec.
+%               good_kyqdhq(np(3+pl,np_head(det(the(pl)),[],type),[]),np_head(det(the(pl)),[],type),A,quant(B,C,D,E,F,A),B,C,D,E,F)
 %        var_simplify((answer80([A]):-B^ (setof(C, ((type(C),true),true),B), ((true,true),true),true,A=B,true,true)),D)
-   ocean(B)
+
- & exists C
+
-     country(C)
+
-   & african(C)
+   B = setof C
-   & borders(B,C)
+     type(C)
- & exists D
+
-     country(D)
+Reply: 0.018999999999991246sec.
-   & asian(D)
+[[Area,Artifact-Generic,ArtifactCol1000,ArtifactCol1001,ArtifactCol1002,ArtifactCol1003,ArtifactCol1004,ArtifactCol1005,ArtifactCol1006,ArtifactCol1007,ArtifactCol1008,ArtifactCol1009,ArtifactCol1010,ArtifactCol1011,ArtifactCol1012,ArtifactCol1020,ArtifactCol1021,ArtifactCol1022,ArtifactCol1023,ArtifactCol1024,ArtifactCol1025,BPVLocation,Bottle,Container,ControlDevice,Device-SingleUser,FemaleAnimal,Flask-LabGlassware,FluidReservoir,FreeSpaceContent,FreeSpaceContext,HandTool,Handgun,Indoors-IsolatedFromOutside,InformationStore,LightingDevice,LimitedAccess,MaleAnimal,Necklace,NpcCol1000,NpcCol1001,NpcCol1002,NpcCol1003,NpcCol1004,NpcCol1005,NpcCol1006,NpcCol1007,NpcCol1008,NpcCol1009,NpcCol1010,NpcCol1011,NpcCol1012,NpcCol1013,PortableObject,Portal,ProtectiveAttire,RodShapedObject,ShipMap,SomethingToWear,SpaceInAHOC,TemporallyExistingThing,Weapon,action,actiontype,activeAgent,actor,agent,agenttype,apple,areaPath,argsIsaInList,assertionMacroHead,back_yard,backchainForbidden,backchainRequired,ball,bear,bed,bed_room,blanket,bogusSpeechPart,book,book_type_a,book_type_b,bookcase,boolean,bottom_drawer,broccoli,candle,cellar,chair,channel,chargable,chargeable,closet,coat,coffee,coffee_cup,coffee_table,collectionBackchainEncouraged,command,completeCollectionExtent,completeExtentAsserted,completeExtentKnown,computer,container,corpsea,corpseb,corpsec,crackers,createableType,decontextualizedCollection,decontextualizedPredicate,deleted,desk,dice,dining_room,dir,dirt,door,drawer,dresser,drinkable,easy_chair,eatable,edge,elixer,envelope,explorer,flagged_act_friend,flagged_act_nice_thief,flagged_act_sentinel,flagged_act_stay_zone,flagged_act_wimpy,flagged_aware,flagged_helper,flagged_memory,flagged_nobackstab,flagged_nobash,flagged_noblind,flagged_nocharm,flagged_nosleep,flagged_nosummon,flagged_npc_detect_invis,flagged_npc_notrack,flagged_npc_sanctuary,flagged_visor,flashlight,food,formatted,formattype,fpred,garden_plant,genCodeSupport,genMassNoun,genStringAssertion-Old,genWithGloss,gold,gossup,green_apple,gueridon,hall,hide,high_box,high_wall,houseplant,human_player,instancesDontNeedLexification,int,item,keClarifyingCollection,key,kitchen,knife,ledge,light_switch,listValued,living_room,low_box,low_wall,machine,material_value,me,middle_drawer,minimize,minimizeExtent,mpred,multiValued,nani,nasty_knife,negationByFailure,nonCreatableType,nonGroundOK,notAssertible,notAssertibleCollection,notAssertibleMt,npc_player,number,nut,obj,office,ordered,outlet,pajamas,pajams,pants,percent,pillow,pit,plant,planter,player,possessable,posture,predicates,prologBuiltin,prologHybrid,prologOnly,quotedCollection,red_apple,region,regiontype,relation,rock,room,shape_value,shirt,sillyitem,singleValued,size_value,skin,sofa,spatialthing,stamp,stand_table,stowable,string,switch,table,teddy_bear,term,termDoesntNeedLexification,text,texture_value,thinking,top_drawer,torso,tough_hide,tree,type,typeDeclarer,usable,useReformulationRuleForQuantifierProcessing,useable,value,var,voprop,wall,washing_machine,wearable,wieldable,yard]]
-   & borders(B,D)
+
 % ---------------------------------------------------------------------------------------------------
-Planning: 0.000999999999990564sec.
+
 % ---------------------------------------------------------------------------------------------------
-   exists C D
+
-     ocean(B)
+%                       [what,are,the,types,?]
-   & { borders(B,C)
+
-     & {african(C)}
+
-     & {country(C)} }
+
-   & { borders(B,D)
+
-     & {asian(D)}
+
-     & {country(D)} }
+%                       [how,many,types,are,there,?]
 
 % ---------------------------------------------------------------------------------------------------
-[indian_ocean]
+
 Sentence(report): 0sec.
 [how,many,types,are,there,?]
 %     succeed(moo: (not((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
 
 Parse: 0.003999999999990678sec.
-%                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]
+whq(A, s(np(3+pl, np_head(quant(same, wh(A)), [], type), []), verb(be, active, pres+fin, [], pos(B), be), [void(there)], [])) :-
         whq(A,
             s(np(3+pl, np_head(quant(same, wh(A)), [], type), []),
               verb(be, active, pres+fin, [], pos(B), be),
               [void(there)],
               [])).
-%                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]
+
 %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],type),[]),np_head(quant(same,wh(A)),[],type),B,quant(C,D,E,F,G,B),C,D,E,F,G)
 %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],type),[]),np_head(quant(same,wh(A)),[],type),B,quant(C,D,E,F,G,B),C,D,E,F,G)
 %        var_simplify((answer80([A]):-numberof(B, (((type(B),true),true),B^ (((true,true),true),true,true,true,true)),A)),C)
 
-[w(what,open),w(are,open),w(the,open),w(capitals,open),w(of,open),w(the,open),w(countries,open),w(bordering,open),w(the,open),w(baltic,open),w(?,open)]
+
 answer80([B]) :-
-POS Sentence(report): 0sec.
+   B = numberof C
-[w(what,open),w(are,open),w(the,open),w(capitals,open),w(of,open),w(the,open),w(countries,open),w(bordering,open),w(the,open),w(baltic,open),w(?,open)]
+     type(C)
    & exists C
-Parse: 0.2909999999999968sec.
+       true
-whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(C), be), [arg(dir, np(3+pl, np_head(det(the(pl)), [], capital), [pp(prep(of), np(3+pl, np_head(det(the(pl)), [], country), [reduced_rel(B, s(np(3+pl, wh(B), []), verb(border, active, inf, [prog], pos(D), tv), [arg(dir, np(3+sg, nameOf(baltic), []))], []))]))]))], [])) :-
+
 Reply: 0.01999999999999602sec.
 [262]
-              verb(be, active, pres+fin, [], pos(C), be),
+
 % ---------------------------------------------------------------------------------------------------
-              [ arg(dir,
+
-                    np(3+pl,
+
-                       np_head(det(the(pl)), [], capital),
+
 %                       [how,many,types,are,there,?]
-                       [ pp(prep(of),
+
-                            np(3+pl,
+
-                               np_head(det(the(pl)), [], country),
+
 % =========================================================================================================
-                               [ reduced_rel(B,
+
-                                             s(np(3+pl, wh(B), []),
+%                       [how,many,formattypes,are,there,?]
-                                               verb(border,
+
-                                                    active,
+
-                                                    inf,
+
-                                                    [prog],
+
-                                                    pos(D),
+[how,many,formattypes,are,there,?]
-                                                    tv),
+%     succeed(moo: (not((ccw_db0(formattypes,A),!,ground(A)))->asserta(not_ccw_db(formattypes));asserta(is_ccw_db(formattypes)),!,fail))
 
-                                               [ arg(dir,
+
-                                                     np(3+sg,
+whq(A, s(np(3+pl, np_head(quant(same, wh(A)), [], formattype), []), verb(be, active, pres+fin, [], pos(B), be), [void(there)], [])) :-
-                                                        nameOf(baltic),
+
-                                                        []))
+            s(np(3+pl, np_head(quant(same, wh(A)), [], formattype), []),
-                                               ],
+
-                                               []))
+              [void(there)],
-                               ]))
+
-                       ]))
+
-              ],
+%              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],formattype),[]),np_head(quant(same,wh(A)),[],formattype),B,quant(C,D,E,F,G,B),C,D,E,F,G)
 %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],formattype),[]),np_head(quant(same,wh(A)),[],formattype),B,quant(C,D,E,F,G,B),C,D,E,F,G)
 %        var_simplify((answer80([A]):-numberof(B, (((formattype(B),true),true),B^ (((true,true),true),true,true,true,true)),A)),C)
-%       good_kyqdhq(np(3+pl,wh(A),[]),wh(A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+
-%        good_kyqdhq(np(3+pl,np_head(det(the(pl)),[],capital),[pp(prep(of),np(3+pl,np_head(det(the(pl)),[],country),[reduced_rel(A,s(np(3+pl,wh(A),[]),verb(border,active,inf,[prog],pos(B),tv),[arg(dir,np(3+sg,nameOf(baltic),[]))],[]))]))]),np_head(det(the(pl)),[],capital),C,quant(D,E,F,G,H,C),D,E,F,G,H)
+
-%           good_kyqdhq(np(3+pl,np_head(det(the(pl)),[],country),[reduced_rel(A,s(np(3+pl,wh(A),[]),verb(border,active,inf,[prog],pos(B),tv),[arg(dir,np(3+sg,nameOf(baltic),[]))],[]))]),np_head(det(the(pl)),[],country),C,quant(D,E,F,G,H,C),D,E,F,G,H)
+
-%                 good_kyqdhq(np(3+pl,wh(feature&city-A),[]),wh(feature&city-A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+   B = numberof C
-%                  good_kyqdhq(np(3+sg,nameOf(baltic),[]),nameOf(baltic),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+     formattype(C)
-%                 good_kyqdhq(np(3+pl,wh(feature&city-A),[]),wh(feature&city-A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+   & exists C
-%                   good_kyqdhq(np(3+pl,wh(feature&place&country-A),[]),wh(feature&place&country-A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+       true
-%                    good_kyqdhq(np(3+sg,nameOf(baltic),[]),nameOf(baltic),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+
-%                   good_kyqdhq(np(3+pl,wh(feature&place&country-A),[]),wh(feature&place&country-A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+
-%                    good_kyqdhq(np(3+sg,nameOf(baltic),[]),nameOf(baltic),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+[25]
-% var_simplify((answer80([A]):-B^ (setof([C]:D, ((((((true,true),true), ((true,true),true),country(C), (true,borders(C,baltic),true,true),true),true),true),setof(E, ((capital(C,E),true,true),true),D)),B), ((true,true),true),true,A=B,true,true)),F)
+
 % ---------------------------------------------------------------------------------------------------
-Semantics: 0.024999999999991473sec.
+
 % ---------------------------------------------------------------------------------------------------
-   B = setof [C]:D
+
-     country(C)
+%                       [how,many,formattypes,are,there,?]
-   & borders(C,baltic)
+
-   & D = setof E
+
-       capital(C,E)
+
 % =========================================================================================================
 
-[[[denmark]:[copenhagen],[east_germany]:[east_berlin],[finland]:[helsinki],[poland]:[warsaw],[soviet_union]:[moscow],[sweden]:[stockholm],[west_germany]:[bonn]]]
+%                       [what,formattypes,are,there,?]
 
 % ---------------------------------------------------------------------------------------------------
 
 Sentence(report): 0sec.
 [what,formattypes,are,there,?]
-%                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]
+%     succeed(moo: (not((ccw_db0(formattypes,A),!,ground(A)))->asserta(not_ccw_db(formattypes));asserta(is_ccw_db(formattypes)),!,fail))
 
 Parse: 0.0040000000000048885sec.
 whq(A, s(np(3+pl, np_head(int_det(A), [], formattype), []), verb(be, active, pres+fin, [], pos(B), be), [void(there)], [])) :-
         whq(A,
             s(np(3+pl, np_head(int_det(A), [], formattype), []),
-%                       [which,countries,are,bordered,by,two,seas,?]
+
               [void(there)],
               [])).
 
 %              good_kyqdhq(np(3+pl,np_head(int_det(A),[],formattype),[]),np_head(int_det(A),[],formattype),B,quant(C,D,E,F,G,B),C,D,E,F,G)
-[w(which,open),w(countries,open),w(are,open),w(bordered,open),w(by,open),w(two,open),w(seas,open),w(?,open)]
+%              good_kyqdhq(np(3+pl,np_head(int_det(A),[],formattype),[]),np_head(int_det(A),[],formattype),B,quant(C,D,E,F,G,B),C,D,E,F,G)
 %        var_simplify((answer80([A]):- ((formattype(A),true),true),A^ (((true,true),true),true,true,true,true)),B)
-POS Sentence(report): 0sec.
+
-[w(which,open),w(countries,open),w(are,open),w(bordered,open),w(by,open),w(two,open),w(seas,open),w(?,open)]
+Semantics: 0.000999999999990564sec.
 answer80([B]) :-
-Parse: 0.13700000000000045sec.
+   formattype(B)
-whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(border, passive, pres+fin, [], pos(B), tv), [], [pp(prep(by), np(3+pl, np_head(quant(same, nb(2)), [], sea), []))])) :-
+ & exists B
      true
-            s(np(3+pl, np_head(int_det(A), [], country), []),
+
-              verb(border, passive, pres+fin, [], pos(B), tv),
+
-              [],
+[action,apath,atom,boolean,dice,dir,id,int,integer,list,number,percent,prolog,rest,string,term,text,var,voprop,xyz,action(prolog),list(type),apath(region,dir),dice(int,int,int),xyz(region,int,int,int)]
-              [pp(prep(by), np(3+pl, np_head(quant(same, nb(2)), [], sea), []))])).
+
 % ---------------------------------------------------------------------------------------------------
-%       good_kyqdhq(np(3+pl,np_head(int_det(A),[],country),[]),np_head(int_det(A),[],country),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+
-%       good_kyqdhq(np(3+pl,np_head(int_det(A),[],country),[]),np_head(int_det(A),[],country),B,quant(C,D,E,F,G,B),C,D,E,F,G)
+
-%        good_kyqdhq(np(3+pl,np_head(quant(same,nb(2)),[],sea),[]),np_head(quant(same,nb(2)),[],sea),A,quant(B,C,D,E,F,A),B,C,D,E,F)
+
-% var_simplify((answer80([A]):- ((country(A),true),true),numberof(B, (((sea(B),true),true),true,borders(B,A),true,true),2)),C)
+%                       [what,formattypes,are,there,?]
 
-Semantics: 0.012999999999991019sec.
+
  T Call: (84) [$messages] print_message(information,time(3996997,2.3500519319999995,61.37897539138794,1700812))