TSTP Solution File: CSR059-10 by EQP---0.9e
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : EQP---0.9e
% Problem : CSR059-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : tptp2X_and_run_eqp %s
% Computer : n029.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Fri Jul 15 02:53:12 EDT 2022
% Result : Unknown 8.05s 8.37s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR059-10 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : tptp2X_and_run_eqp %s
% 0.12/0.34 % Computer : n029.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jun 11 15:59:53 EDT 2022
% 0.12/0.34 % CPUTime :
% 1.97/2.30 ----- EQP 0.9e, May 2009 -----
% 1.97/2.30 The job began on n029.cluster.edu, Sat Jun 11 15:59:55 2022
% 1.97/2.30 The command was "./eqp09e".
% 1.97/2.30
% 1.97/2.30 set(prolog_style_variables).
% 1.97/2.30 set(lrpo).
% 1.97/2.30 set(basic_paramod).
% 1.97/2.30 set(functional_subsume).
% 1.97/2.30 set(ordered_paramod).
% 1.97/2.30 set(prime_paramod).
% 1.97/2.30 set(para_pairs).
% 1.97/2.30 assign(pick_given_ratio,4).
% 1.97/2.30 clear(print_kept).
% 1.97/2.30 clear(print_new_demod).
% 1.97/2.30 clear(print_back_demod).
% 1.97/2.30 clear(print_given).
% 1.97/2.30 assign(max_mem,64000).
% 1.97/2.30 end_of_commands.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contextofpcwfn(c_tkbfactentrysource_book_irans_security_policy_in ***HERE*** _the_post_revolutionary_era_9),c_miptdatabase19681997_termsmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 ifeq4(collectionunionfnthesetgravellysoilregionrockysoil ***HERE*** region(OBJ),true,geographicalregion(OBJ),true) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwkjv1611orgukwho20wrote20the20book20of20h ***HERE*** ebrewshtm)),c_translation_32),c_machinelearningspindleheadmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwamazoncomexecobidostgdetail_0870541811vg ***HERE*** lance)),c_translation_1),c_machinelearningspindleheadmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwmurkfamilyministriesorgthoughtslovech2ht ***HERE*** ml)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwlittleshelltribecomlstheadlinearchivesht ***HERE*** ml)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_producthalfebaycomthe_great_gatsby_w0qqtgzi ***HERE*** nfoqqprz11947)),c_translation_0_885),c_basekb) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwonlineessayscomessaysliteraturelit102php ***HERE*** )),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 ifeq4(collectionunionfnthesetworkplacecommercialorganiza ***HERE*** tionbusinessperson(OBJ),true,thing(OBJ),true) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 ifeq4(collectionunionfnthesetcalendarmillisecondcyclsent ***HERE*** ence(OBJ),true,intangibleindividual(OBJ),true) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_newsawncomindexphpltypecatcategory1filmsnew ***HERE*** sitem_no11515dir1)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(c_statedepartmentcountryreportsoneconomicpolicy199 ***HERE*** 6mt,c_hpkbvocabmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4unit ***HERE*** ed_states_of_americahtml)),c_translation_33),c_basekb) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 individual(c_disneysgamebreakhunchbackofnotredamethetopsyturv ***HERE*** ygames_thegame) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_denverbizjournalscomtriadstories20040105dai ***HERE*** ly32html)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 ifeq4(propersubcollectionnamedfn_ternaryrepairshoplocati ***HERE*** on_underspecified33d76185_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 1.97/2.30
% 1.97/2.30 ERROR, name too big, max is 50;
% 1.97/2.30 ERROR, name expected:
% 1.97/2.30
% 1.97/2.30
% 1.97/2.30 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_forummuppetcentralcomarchiveindexphpt_17282 ***HERE*** html)),c_translation_2),c_basekb) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 ifeq4(collectionintersection2fnsrilankanpersonmilitarype ***HERE*** rson(OBJ),true,militaryperson(OBJ),true) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwcommongroundcommonsenseorgforumslofivers ***HERE*** ionindexphpt10194html)),c_translation_2),c_machinelearningspindleheadmt) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_enwikipediaorgwikiuser_niteowlneilsactors_a ***HERE*** _b)),c_translation_1),c_basekb) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwxcapewithuscomsitebrocherspropertyasppro ***HERE*** pid2008site513cix)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_366,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_366) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activi ***HERE*** ty20pages2pdf))) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_newmanbaruchcunyedudigital2002realestatebro ***HERE*** oklyn_daybrooklyn_day_3_pt2htm)),c_translation_6),c_machinelearningspindleheadmt) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnizkororgftpcgiorgscanadianwestern_guard ***HERE*** _partyftppyorgscanadianwestern_guard_partycanadaright)),c_translation_6),c_basekb) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 ifeq4(haveoccupationtypeinindustrytypenuclearindustrysec ***HERE*** urityguard(INS),true,ifeq4(mtvisible(c_cyclistsmt),true,tptpofobject(INS,f_tptpquantityfn_18(n_487)),true),true) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 ifeq4(mtvisible(c_cyclistsmt),true,relationallinstance(c_tptpofobject,c_haveoccupationtypeinindustrytypenuclearindustrys ***HERE*** ecurityguard,f_tptpquantityfn_18(n_487)),true) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 ifeq4(mtvisible(c_englishmt),true,prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist,c_hasmembers,c_terroristgroup),s_terroriststhathasbeenamemberofaterroristorganiza ***HERE*** tion),true) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 ifeq4(collectionunionfnthesetinformationbearingthingagen ***HERE*** t_generic(OBJ),true,partiallyintangibleindividual(OBJ),true) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 genlmt(c_uia_coabackgroundscenarioauthoring_demoenvironme ***HERE*** ntmt,c_cycorpproductsmt) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 ifeq4(mtvisible(c_tptp_spindleheadmt),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_42,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 ifeq4(mtvisible(c_tptp_spindleheadmt),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_42),true) = true.
% 1.97/2.34
% 1.97/2.34 ERROR, name too big, max is 50;
% 1.97/2.34 ERROR, name expected:
% 1.97/2.34
% 1.97/2.34
% 1.97/2.34 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_filmguardiancoukfeature_storyobserver041202 ***HERE*** 538500html)),c_translation_14),c_machinelearningspindleheadmt) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwciolympiawausgeneralgovaccenterpdfmarket ***HERE*** analysispdf)),c_translation_2),c_machinelearningspindleheadmt) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_syrias_intelligence_s ***HERE*** ervices_origins_and_development),c_miptdatabase19681997_termsmt) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 uniformresourcelocator(f_urlfn(s_http_wwwwashtimescomupi_breaking20040810_111754_ ***HERE*** 1597rhtm)) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 ifeq4(mtvisible(c_englishmt),true,prettystring(f_instancewithrelationtofn(c_footballteam,c_affiliatedwith,c_beloitcollege),s_thefootballteamwhohasbeenaffiliatedwithbeloitcol ***HERE*** lege),true) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 ifeq4(propersubcollectionnamedfn_ternarychristchurchloca ***HERE*** tion_underspecified33f34df1_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 ifeq4(subcollectionofwithrelationtofnenduringthing_local ***HERE*** izedinregioncitynamedfntoribiocolombia(OBJ),true,enduringthing_localized(OBJ),true) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 ifeq4(mtvisible(c_tptp_member2877_mt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_88,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 ifeq4(mtvisible(c_tptp_member2877_mt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_88),true) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 genlmt(c_testvocabularymt,c_mysentientdiscoursetrackingpegcreationtemplatemt ***HERE*** ) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_attitudethemercurynewscomaucheese_batmanbal ***HERE*** ehtm)),c_translation_32),c_machinelearningspindleheadmt) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 ifeq4(subcollectionofwithrelationfromtypefnmilitaryperso ***HERE*** nhasmembersgovernmentmilitaryorganization(OBJ),true,militaryperson(OBJ),true) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 ifeq4(mtvisible(c_tptp_member3121_mt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_5707,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 ifeq4(mtvisible(c_tptp_member3121_mt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_5707),true) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwwomenandinfantscombodycfmid388chunkiid19 ***HERE*** 277)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 1.97/2.37
% 1.97/2.37 ERROR, name too big, max is 50;
% 1.97/2.37 ERROR, name expected:
% 1.97/2.37
% 1.97/2.37
% 1.97/2.37 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068 ***HERE*** 988)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 ifeq4(collectionunionfnthesetdurablegoodserviceeventprod ***HERE*** uct(OBJ),true,thing(OBJ),true) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 computerdataartifact(f_urlreferentfn(f_urlfn(s_http_wwwpharmchulaacthsurachaiacademiccontedamin ***HERE*** oglycosidepdf))) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprojocomcgi_binincludeplmoviesfilmscruci ***HERE*** blehtm)),c_translation_1),c_machinelearningspindleheadmt) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_mtvshopmtvcomnamepageaspxpidp66596typevloc1 ***HERE*** 9221)),c_translation_24),c_machinelearningspindleheadmt) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_forumstelevisionwithoutpitycomindexphpshowt ***HERE*** opic2418494viewnew)),c_translation_3),c_basekb) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 individual(f_urlreferentfn(f_urlfn(s_http_dotsdotscomr_466674m_dvdb_468122a_b000059xu ***HERE*** odefaultaspx))) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles0304 ***HERE*** 23ahtml))) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 individual(c_tptpnsubcollectionofwithrelationtofnoblatesphero ***HERE*** idspheroidsemimajoraxislengthmeter6378137) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwentertainment_newsorgbreaking3857er_doc_ ***HERE*** finds_new_lovehtml)),c_translation_31),c_machinelearningspindleheadmt) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_webamnestyorglibraryindexengasa160121999ope ***HERE*** nofeng_2s3)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 individual(f_urlreferentfn(f_urlfn(s_http_wwwhealthandagecomsiteindexdsp_haacontentcf ***HERE*** mcurr_navi01curr_content01curr_page1curr_mandanthealthandagesprencurr_version1framedef1curr_paramlisthealthandage51951haa_online_from213_dsp_tooldetailindex43cont_layout10210))) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdjudidenchoffset0)),c_translation_33),c_basekb) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_63,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_63),true) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwkentuckycommldheraldleadersports6546184h ***HERE*** tm)),c_translation_29),c_machinelearningspindleheadmt) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_825,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 1.97/2.41
% 1.97/2.41 ERROR, name too big, max is 50;
% 1.97/2.41 ERROR, name expected:
% 1.97/2.41
% 1.97/2.41
% 1.97/2.41 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_825),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 ifeq4(collectionunionfnthesethomosapiensgroupfnhomosapie ***HERE*** ns(OBJ),true,partiallytangible(OBJ),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 ifeq4(subcollectionofwithrelationtofnenduringthing_local ***HERE*** izedinregioncitynamedfntoribiocolombia(OBJ),true,spatialthing_nonsituational(OBJ),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_dossier_abdul_halim_k ***HERE*** haddam),c_ldscdemonstrationspindleheadmt) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwcbccainsitethe_sunday_edition2004118html ***HERE*** )),c_translation_32),c_basekb) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwamb_usafrresourcesfranceusfamericans3htm ***HERE*** )),c_translation_0)) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 ifeq4(mtvisible(c_tptp_member374_mt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_94,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 ifeq4(mtvisible(c_tptp_member374_mt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_94),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwgeocitiescomresearchtrianglelab4191mille ***HERE*** rmillershtml)),c_translation_9),c_machinelearningspindleheadmt) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_mtvshopmtvcomnamepageaspxpidp66596typevloc3 ***HERE*** 3477)),c_translation_31),c_basekb) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 ifeq4(evaluatingvalueofwithrespecttofncomputernetworkmis ***HERE*** sionspecificationmicrotheory(OBJ),true,individual(OBJ),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 individual(f_urlfn(f_urlfn(s_http_wwwcollectorcafecomarticle_archiveasparticl ***HERE*** e20id1939))) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 computerdataartifact(f_urlreferentfn(f_urlfn(s_http_shoppingmsncomresultsshpbcatid4808av12_1533 ***HERE*** 49))) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 ifeq4(mtvisible(c_tptp_member720_mt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_9935,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 ifeq4(mtvisible(c_tptp_member720_mt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_9935),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_yahooeonlinecomcelebsqahoffmanintrview2html ***HERE*** )),c_translation_33),c_basekb) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.42
% 1.97/2.42
% 1.97/2.42 ifeq4(collectionunionfnthesettable_documentpartgraph_doc ***HERE*** umentpartabstractvisualstructure(OBJ),true,thing(OBJ),true) = true.
% 1.97/2.42
% 1.97/2.42 ERROR, name too big, max is 50;
% 1.97/2.42 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_55,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_55),true) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 ifeq4(collectionunionfnthesettwodimensionalthingonedimen ***HERE*** sionalthing(OBJ),true,intangibleindividual(OBJ),true) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdgarlandoffset0)),c_translation_26),c_machinelearningspindleheadmt) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 genlmt(c_statedepartmentcountryreportsoneconomicpolicy199 ***HERE*** 7mt,c_hpkbvocabmt) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwmovieseercomactorprofilebilaspaid285chan ***HERE*** nel2)),c_translation_11),c_machinelearningspindleheadmt) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_triadbizjournalscomtriadstories20040105dail ***HERE*** y32htmljstb_ln_hl)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 individual(f_urlfn(s_http_wwwdomainsumsonstdeiatrogeniciatrogenic_and ***HERE*** _antibiotic_usehtml)) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 ifeq4(subcollectionofwithrelationfromtypefnbodyofwaterge ***HERE*** ographicalsubregionssea(OBJ),true,individual(OBJ),true) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_kurdish_reawakening_i ***HERE*** n_syria_the),c_ldscgeneralcollectormt) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 ifeq4(collectionunionfnthesetgeographicalregionbodyofwat ***HERE*** erprovincelandtopographicalfeaturecountyindependentcountrycityairport_physicalcontinentroadwaycountrysubsidiary(OBJ),true,thing(OBJ),true) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_495,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_495) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwtodayinliteraturecombiographyarthurmille ***HERE*** rasp)),c_translation_32),c_machinelearningspindleheadmt) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 ifeq4(subcollectionofwithrelationtofnenduringthing_local ***HERE*** izedinregionunitedkingdomofgreatbritainandnorthernireland(OBJ),true,spatialthing_nonsituational(OBJ),true) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 isa(c_tptpnsubcollectionofwithrelationtotypefnissuinga ***HERE*** prescriptionproductscorrectivelensprescription_2804,f_subcollectionofwithrelationtotypefn(c_issuingaprescription,c_products,c_correctivelensprescription)) = true.
% 1.97/2.44
% 1.97/2.44 ERROR, name too big, max is 50;
% 1.97/2.44 ERROR, name expected:
% 1.97/2.44
% 1.97/2.44
% 1.97/2.44 subcollectionofwithrelationtotypefnissuingaprescri ***HERE*** ptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(propersubcollectionnamedfn_ternarytizzylocation_un ***HERE*** derspecified34096e01_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwamazoncomexecobidostgdetail_0870541811vg ***HERE*** lance)),c_translation_2_3),c_basekb) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_archivethisiswiltshirecouk20031217129990htm ***HERE*** l)),c_translation_0),c_basekb) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_30,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_30),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwamericanpoemscom6304524005some_folks_cal ***HERE*** l_it_a_sling_bladephp)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_520,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_520),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(subcollectionofwithrelationfromtypefnindividualpro ***HERE*** perpartsindividual(OBJ),true,individual(OBJ),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(collectionunionfnthesetmilitaryequipmentgroupfncom ***HERE*** municationdevice(OBJ),true,partiallytangible(OBJ),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(mtvisible(c_tptp_member2094_mt),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_65,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(mtvisible(c_tptp_member2094_mt),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_65),true) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_www20sixcoukdancecommanderarchive20040915n6 ***HERE*** 1crtr29jarhtm)),c_translation_8),c_basekb) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwdiscoverourtowncomtownpagephptown105cata ***HERE*** ttractions)),c_translation_0),c_machinelearningspindleheadmt) = true.
% 1.97/2.48
% 1.97/2.48 ERROR, name too big, max is 50;
% 1.97/2.48 ERROR, name expected:
% 1.97/2.48
% 1.97/2.48
% 1.97/2.48 ifeq4(subcollectionofwithrelationtotypefndangerousthingo ***HERE*** bjectfoundinlocationunderwaterlocation(OBJ),true,spatialthing_nonsituational(OBJ),true) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 computerdataartifact(f_urlreferentfn(f_urlfn(f_urlfn(s_http_wwwworcacukuploaded_documentsstudy20of20rel ***HERE*** igiondoc)))) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_156,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_156),true) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 ifeq4(collectionunionfnthesetagent_genericcomputeraccoun ***HERE*** t(OBJ),true,partiallyintangibleindividual(OBJ),true) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_freepagesgenealogyrootswebcomehowetimeline1 ***HERE*** 820html)),c_translation_27),c_machinelearningspindleheadmt) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdjeanrenooffset0)),c_translation_31),c_basekb) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_802,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 ifeq4(propersubcollectionnamedfn_ternarymusicshoplocatio ***HERE*** n_underspecified33f23c85_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_786,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwmesothelioma__attorneycomstatewashington ***HERE*** html)),c_translation_0_885)) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 ifeq4(propersubcollectionnamedfn_ternaryreducehungerindi ***HERE*** vidual34104bd3_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,individual(OBJ),true) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdgarlandoffset0)),c_translation_29),c_basekb) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.52
% 1.97/2.52
% 1.97/2.52 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwgreens_inorgarticle229phpsessid3641f5f71 ***HERE*** 1b0afdf34ae8268e87866d3)),c_translation_0),c_machinelearningspindleheadmt) = true.
% 1.97/2.52
% 1.97/2.52 ERROR, name too big, max is 50;
% 1.97/2.52 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwterrorismcentralcomlibrarybiographiesbio ***HERE*** skahanekahanelisthtml)),c_translation_2),c_basekb) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_839,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_839) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwhgtvcomhgtvrm_restoration_homes_areasart ***HERE*** icle01797hgtv_3787_137528800html)),c_translation_31),c_machinelearningspindleheadmt) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_archivestcmieirishexaminer20000826currentfp ***HERE*** age_7htm)),c_translation_31),c_machinelearningspindleheadmt) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_forummuppetcentralcomprintthreadphpt17282pa ***HERE*** ge3pp15)),c_translation_30),c_basekb) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_178,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_178) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwallwebdirectoriescomwwlanew_york_city_me ***HERE*** sothelioma_asbestos_lawyerhtml)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_trishwilsontypepadcomblog200503why_are_wome ***HERE*** n_dhtml)),c_translation_27),c_basekb) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_786,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 ifeq4(collectionunionfnthesetlogicalschemasetoftypefnlog ***HERE*** icalschema(OBJ),true,thing(OBJ),true) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_encyclopediathefreedictionarycomhowardhawks ***HERE*** )),c_translation_29),c_machinelearningspindleheadmt) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_mtvshopmtvcomnamepageaspxpidp66596typevloc1 ***HERE*** 9221)),c_translation_29),c_basekb) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.58 ERROR, name expected:
% 1.97/2.58
% 1.97/2.58
% 1.97/2.58 ifeq4(propersubcollectionnamedfn_ternarylibraryofcongres ***HERE*** slocation_underspecified342bc310_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 1.97/2.58
% 1.97/2.58 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 ifeq4(mtvisible(c_tptp_member764_mt),true,isa(c_tptpnsubcollectionofwithrelationtotypefnissuinga ***HERE*** prescriptionproductscorrectivelensprescription_69,f_subcollectionofwithrelationtotypefn(c_issuingaprescription,c_products,c_correctivelensprescription)),true) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 ifeq4(mtvisible(c_tptp_member764_mt),true,subcollectionofwithrelationtotypefnissuingaprescri ***HERE*** ptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_69),true) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_filmguardiancoukfeature_storyobserver041202 ***HERE*** 538500html)),c_translation_6),c_machinelearningspindleheadmt) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnovumtestamentumcom200510song_about_hebr ***HERE*** ewsphp)),c_translation_32),c_machinelearningspindleheadmt) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_iran_and_the_bomb_a_n ***HERE*** uclear_iran_poses_extreme_threat_to_us),c_ldscdemonstrationspindleheadmt) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 ifeq4(propersubcollectionnamedfn_ternaryundertreelocatio ***HERE*** n_underspecified340e28f2_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwbelfastislamiccentreorgukvisitorsguideht ***HERE*** m)),c_translation_2),c_machinelearningspindleheadmt) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 ifeq4(mtvisible(c_englishmt),true,prettystring(f_subcollectionofwithrelationtotypefn(c_malfunction,c_malfunctionaffects,c_automobile),s_problemsinwhichacarplaysamalfunctioningdevicerol ***HERE*** es),true) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_forummuppetcentralcomshowthreadphpgotolastp ***HERE*** ostt17282)),c_translation_33),c_basekb) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_136,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_136) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 ifeq4(propersubcollectionnamedfn_ternaryathotellocation_ ***HERE*** underspecified33d71362_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 computerdataartifact(f_urlreferentfn(f_urlfn(s_http_richmondthenandnowcomfamous_people_richmond ***HERE*** _4html))) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdjudygarlandoffset0)),c_translation_26),c_machinelearningspindleheadmt) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_323,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 1.97/2.66
% 1.97/2.66 ERROR, name too big, max is 50;
% 1.97/2.66 ERROR, name expected:
% 1.97/2.66
% 1.97/2.66
% 1.97/2.66 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_323) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_iran_and_the_bomb_a_n ***HERE*** uclear_iran_poses_extreme_threat_to_us),c_ldscgeneralcollectormt) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 uniformresourcelocator(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles0304 ***HERE*** 23ahtml))) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_dailyblabberivillagecomentertainmentarchive ***HERE*** s200511desperate_house_1html)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 isa(c_tptpnsubcollectionofwithrelationtotypefnissuinga ***HERE*** prescriptionproductscorrectivelensprescription_2804,f_subcollectionofwithrelationtotypefn(c_issuingaprescription,c_products,c_correctivelensprescription)) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 subcollectionofwithrelationtotypefnissuingaprescri ***HERE*** ptionproductscorrectivelensprescription(c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 ifeq4(mtvisible(c_analystdatabasemt),true,conceptnodesfortasktypefnintelligenceanalysistask_ ***HERE*** allotment(c_tvtalkshowhost),true) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 ifeq4(mtvisible(c_analystdatabasemt),true,conceptnodesfortasktypefnintelligenceanalysistask_ ***HERE*** allotment(c_secretarygeneral),true) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 uniformresourcelocator(f_urlfn(s_http_wwwmumbai_centralcomnukkadjan2002msg00287ht ***HERE*** ml)) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 ifeq4(collectionunionfnthesetbiologicallivingobjectgroup ***HERE*** fnbiologicallivingobject(OBJ),true,partiallytangible(OBJ),true) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_dailyblabberivillagecomentertainmentarchive ***HERE*** s200511desperate_house_1html)),c_translation_28),c_machinelearningspindleheadmt) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_profile_rifaat_al_ass ***HERE*** ad),c_ldscgeneralcollectormt) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_lineup_of_lebanons_ne ***HERE*** w_cabinet),c_miptdatabase19681997_termsmt) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 ifeq4(geographicalregion(OBJ),true,ifeq4(mtvisible(c_sensusmappingmt),true,meaninginsystemfnsensus_information1997nondecompos ***HERE*** able_object(OBJ),true),true) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 ifeq4(subcollectionofaboutfnsuppliesscientificfieldofstu ***HERE*** dy(OBJ),true,supplies(OBJ),true) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwdailyillinicomnews20041214featuresconser ***HERE*** vatismontheriseinyoungvoters_828816shtml)),c_translation_0),c_machinelearningspindleheadmt) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwcanoecajammoviesartistsppreston_kellyhtm ***HERE*** l)),c_translation_30),c_machinelearningspindleheadmt) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 computerdataartifact(f_urlreferentfn(f_urlfn(f_urlfn(s_http_wwwnctimescomarticles20041030newstop_storie ***HERE*** s23_29_5810_29_04prt)))) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.41/2.72 ERROR, name expected:
% 2.41/2.72
% 2.41/2.72
% 2.41/2.72 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_www3isrluiuceduunsworthcoursesbestsellersse ***HERE*** archcgititletheageofinnocence)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 2.41/2.72
% 2.41/2.72 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 ifeq4(collectionintersectionfnthesetintelligenceagentmil ***HERE*** itarypersonunitedstatesperson(OBJ),true,militaryperson(OBJ),true) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 ifeq4(isa(OBJ,f_unsuccessfulattempttofn(f_propersubcollectionnamedfn_ternary(s_detonateexplosivesattheheadquartersofthenorthern ***HERE*** irelandprisonservice,c_actiononobject,s_33f28aa6_f4ed_11d9_9bea_0002b3a85b0b))),true,individual(OBJ),true) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 genls(f_unsuccessfulattempttofn(f_propersubcollectionnamedfn_ternary(s_detonateexplosivesattheheadquartersofthenorthern ***HERE*** irelandprisonservice,c_actiononobject,s_33f28aa6_f4ed_11d9_9bea_0002b3a85b0b)),c_individual) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 ifeq4(unsuccessfulattempttofnpropersubcollectionnamedfn_ ***HERE*** ternarydetonateexplosivesattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,individual(OBJ),true) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwfirestreamnetviewtopicphpt14262side79980 ***HERE*** 82faab8a2c158e4622e3556a55)),c_translation_29),c_machinelearningspindleheadmt) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_whos_who_in_syrias_le ***HERE*** adership),c_basekb) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_301,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_301) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_3847,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_3847) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_5108,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 2.45/2.77
% 2.45/2.77 ERROR, name too big, max is 50;
% 2.45/2.77 ERROR, name expected:
% 2.45/2.77
% 2.45/2.77
% 2.45/2.77 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_5108),true) = true.
% 2.45/2.78
% 2.45/2.78 ERROR, name too big, max is 50;
% 2.45/2.78 ERROR, name expected:
% 2.45/2.78
% 2.45/2.78
% 2.45/2.78 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwgeocitiescomresearchtrianglelab4191mille ***HERE*** rmillershtml)),c_translation_1),c_basekb) = true.
% 2.45/2.78
% 2.45/2.78 ERROR, name too big, max is 50;
% 2.45/2.78 ERROR, name expected:
% 2.45/2.78
% 2.45/2.78
% 2.45/2.78 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_72,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 2.45/2.78
% 2.45/2.78 ERROR, name too big, max is 50;
% 2.45/2.78 ERROR, name expected:
% 2.45/2.78
% 2.45/2.78
% 2.45/2.78 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_72) = true.
% 2.45/2.78
% 2.45/2.78 ERROR, name too big, max is 50;
% 2.45/2.78 ERROR, name expected:
% 2.45/2.78
% 2.45/2.78
% 2.45/2.78 genlmt(f_contextofpcwfn(c_tkbfactentrysource_newspaper_bbc_news_online_mar ***HERE*** ch_12_2006),c_ldscgeneralcollectormt) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 ifeq4(mtvisible(c_tptp_member2177_mt),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_309,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 ifeq4(mtvisible(c_tptp_member2177_mt),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_309),true) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnpropersubcollectionnamedfn_ternarytntanddet ***HERE*** onatorsartifact_generic341b2145_f4ed_11d9_9bea_0002b3a85b0b,f_propersubcollectionnamedfn_ternary(s_tntanddetonators,c_artifact_generic,s_341b2145_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 ifeq4(mtvisible(c_cyclistsmt),true,propersubcollectionnamedfn_ternarytntanddetonators ***HERE*** artifact_generic341b2145_f4ed_11d9_9bea_0002b3a85b0b(c_tptpnpropersubcollectionnamedfn_ternarytntanddetonatorsartifact_generic341b2145_f4ed_11d9_9bea_0002b3a85b0b),true) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_forumsunfictioncomforumsviewtopicphpp2067si ***HERE*** da7d2a861b1818d3c520d2fb42967482d)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 ifeq4(propersubcollectionnamedfn_ternaryofficeofbroadcas ***HERE*** tingcompanylocation_underspecified340687d1_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 ifeq4(nondavidsonianpredfnaccessingacomputeraccounttheli ***HERE*** stperformedbyaccountaccessedaccountsystemaccessed(ARG1,ARG2,ARG3),true,computeraccount(ARG2),true) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_vh1shopvh1comnamepageaspxpidp66596typevloc3 ***HERE*** 3697)),c_translation_33),c_basekb) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_724129227celebritiesrichardgeretriviatest_a ***HERE*** nswersshtml)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpgil_eirdataorghtmlpgil_datasetsauthorso ***HERE*** oharamlifehtm)),c_translation_2),c_machinelearningspindleheadmt) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwdiscoverourtowncomtownpagephptown105cata ***HERE*** ttractions)),c_translation_32),c_machinelearningspindleheadmt) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwamazoncomexecobidostgdetail_0375726721vg ***HERE*** lance)),c_translation_28),c_machinelearningspindleheadmt) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwamazoncomgpcdpmember_reviewsa3u4ft0h0nth ***HERE*** by_encodingutf8)),c_translation_31),c_machinelearningspindleheadmt) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_420,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 2.55/2.88
% 2.55/2.88 ERROR, name too big, max is 50;
% 2.55/2.88 ERROR, name expected:
% 2.55/2.88
% 2.55/2.88
% 2.55/2.88 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_420),true) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068 ***HERE*** 988)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwhawaiifilmofficecompdfhollywood_tropical ***HERE*** pdf)),c_translation_29),c_machinelearningspindleheadmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(c_domainfactsheet_organizedcrimeintheformersovietu ***HERE*** nionmt,c_hpkbvocabmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_enwikipediaorgwikiuser_niteowlneilsactors_a ***HERE*** _b)),c_translation_27),c_machinelearningspindleheadmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_mtvshopmtvcomnamepageaspxpidp66596typevloc1 ***HERE*** 9221)),c_translation_31),c_machinelearningspindleheadmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwradfordreviewscomcgi_binrviewcgirmmode2t ***HERE*** ypereviewnameamistad)),c_translation_31)) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 ifeq4(collectionunionfnthesetdeformablefluidtangiblethin ***HERE*** g(OBJ),true,partiallytangible(OBJ),true) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 ifeq4(propersubcollectionnamedfn_ternaryshallowwatersloc ***HERE*** ation_underspecified33f28aa0_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_dossier_maj_gen_assef ***HERE*** _shawkat),c_ldscgeneralcollectormt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnizkororgftpcgiplacesftppyplacescanadaca ***HERE*** nadaright)),c_translation_0),c_basekb) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_shswestportk12ctusrexjournalismjournalismht ***HERE*** m)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 computerdataartifact(f_urlreferentfn(f_urlfn(f_urlfn(s_http_studentswashingtonedutakenommsaurabhlog4htm ***HERE*** l)))) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 ifeq4(subcollectionofusedfortypefnsuppliescomputerprinte ***HERE*** r_laser(OBJ),true,supplies(OBJ),true) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwpubumichedudaily1998apr04_02_98editedit1 ***HERE*** html)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_legendstypepadcomliving_with_legends_the_h2 ***HERE*** 00507cult_fictionhtml)),c_translation_32),c_machinelearningspindleheadmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 ifeq4(propersubcollectionnamedfn_ternaryrichguyspocketlo ***HERE*** cation_underspecified341b4856_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwlibvirginiaedusmallexhibitsrave_reviewsb ***HERE*** eyond_gwtwhtml)),c_translation_1),c_machinelearningspindleheadmt) = true.
% 2.63/2.95
% 2.63/2.95 ERROR, name too big, max is 50;
% 2.63/2.95 ERROR, name expected:
% 2.63/2.95
% 2.63/2.95
% 2.63/2.95 ifeq4(geographicalregion(OBJ),true,collectionunionfnthesetgeographicalregionbodyofwat ***HERE*** erprovincelandtopographicalfeaturecountyindependentcountrycityairport_physicalcontinentroadwaycountrysubsidiary(OBJ),true) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwaaaeventscoukforumsview_topicphpid1439fo ***HERE*** rum_id24page3)),c_translation_3),c_basekb) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 ifeq4(mtvisible(c_topicmt),true,vocabularyforstatingrelationshipsbetweenmicrotheor ***HERE*** ies_mtexpansion_topic(c_genlmt),true) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_freepagesgenealogyrootswebcomehowetimeline1 ***HERE*** 820html)),c_translation_31),c_basekb) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_yahooeonlinecomcelebsqahoffmanintrview2html ***HERE*** )),c_translation_32),c_basekb) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwcathartonnetcgi_localauthorsyabbcgiboard ***HERE*** arthurmilleractiondisplaynum1123452712)),c_translation_26),c_machinelearningspindleheadmt) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 ifeq4(subcollectionofwithrelationfromtypefnenduringthing ***HERE*** _localizedfromlocationtranslocation(OBJ),true,enduringthing_localized(OBJ),true) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_iran_and_the_bomb_a_n ***HERE*** uclear_iran_poses_extreme_threat_to_us),c_basekb) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 uniformresourcelocator(f_urlfn(s_http_wwwnwcncomartsandleisuredvdreleasesstoriesn ***HERE*** w_011304etndvdreleaseslj11345ec0html)) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwleadingauthoritiescomtalentaallen_debbie ***HERE*** allen_debbiedoc)),c_translation_30),c_basekb) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_newsbbccoukhienglishentertainmentnewsid_217 ***HERE*** 000217817stm)),c_translation_32),c_machinelearningspindleheadmt) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_628,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_628),true) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdbertlahroffset0)),c_translation_32),c_basekb) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_2638,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_2638),true) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwtvcomhome_improvementbackstage_passepiso ***HERE*** de23169summaryhtml)),c_translation_29),c_machinelearningspindleheadmt) = true.
% 2.70/3.05
% 2.70/3.05 ERROR, name too big, max is 50;
% 2.70/3.05 ERROR, name expected:
% 2.70/3.05
% 2.70/3.05
% 2.70/3.05 ifeq4(mtvisible(c_englishmt),true,prettystring(f_subcollectionofwithrelationtofn(c_facility_construct,c_primaryactivitytypeoflocation,f_subcollectionofwithrelationtotypefn(c_maintainingsomething,c_objecttakencareof,c_regionalgovernment)),s_installationswhoseprimaryactivitytypeoflocationh ***HERE*** asincludedmaintaininginwhicharegionalgovernmenthasplayedanobjecttakencareofroles),true) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_archivestcmieirishexaminer20000826currentfp ***HERE*** age_7htm)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_4,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_4) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 individual(f_urlfn(f_urlfn(s_http_wwwahwatukeecomafnentertainmentarticles0304 ***HERE*** 23ahtml))) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinterstudyorgirelandqueensuniversityintr ***HERE*** oqueenshtml)),c_translation_2_3),c_basekb) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 genlmt(f_contextofpcwfn(c_proceedings_of_the_13th_world_wide_web_conferenc ***HERE*** e),c_basekb) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_filmguardiancoukfeature_storyobserver041202 ***HERE*** 538500html)),c_translation_8),c_machinelearningspindleheadmt) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 individual(c_tptpnsubcollectionofwithrelationfromfnpost_locat ***HERE*** ioncontrolssouthlebanonarmy_3) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 individual(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activi ***HERE*** ty20pages2pdf))) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwcomingsoonnetforumsarchiveindexphpt_3063 ***HERE*** _p_25html)),c_translation_0_885),c_basekb) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 ifeq4(mtvisible(c_tptp_member1074_mt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_111,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 ifeq4(mtvisible(c_tptp_member1074_mt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_111),true) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 computerdataartifact(f_urlreferentfn(f_urlfn(s_http_fwsistercitiesorgpdfsmbabanembabane20activi ***HERE*** ty20pages2pdf))) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 individual(f_urlreferentfn(f_urlfn(f_urlfn(s_http_wwwgerardbutlernethavenindexphps4e1eb232cb7 ***HERE*** f9542a7a735fdf80e0e75showtopic23076st10)))) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 ifeq4(subcollectionofwithrelationtofnenduringthing_local ***HERE*** izedinregionunitedkingdomofgreatbritainandnorthernireland(OBJ),true,enduringthing_localized(OBJ),true) = true.
% 2.75/3.15
% 2.75/3.15 ERROR, name too big, max is 50;
% 2.75/3.15 ERROR, name expected:
% 2.75/3.15
% 2.75/3.15
% 2.75/3.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwlivejournalcomgobmljournalpareviewitemid ***HERE*** 8422dirprev)),c_translation_31),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 ifeq4(propersubcollectionnamedfn_ternarytrainingfacility ***HERE*** partiallytangible3413ce42_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,partiallytangible(OBJ),true) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_vh1shopvh1comnamepageaspxpidp66596typevloc3 ***HERE*** 3697)),c_translation_6),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 ifeq4(meaninginsystemfnsensus_information1997interperson ***HERE*** al_thing(OBJ),true,intangibleindividual(OBJ),true) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 ifeq4(collectionintersectionfnthesetcollectorroadbusines ***HERE*** sroute(OBJ),true,thing(OBJ),true) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 individual(c_tptpncollectionintersection2fngeneral_ranksyrian ***HERE*** person) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwwordsoftruthnetwordsoftruthbull04_17_200 ***HERE*** 5html)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_richmondthenandnowcomfamous_people_richmond ***HERE*** _4html)),c_translation_29),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwmovieseercomactorprofilebilaspaid285chan ***HERE*** nel2)),c_translation_14),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 ifeq4(collectiondifferencefngeographicalregioncollection ***HERE*** unionfnthesetparkforestciviladministrativeregion(OBJ),true,geographicalregion(OBJ),true) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwbasicstepsorgenglishnewtestamentstep10l7 ***HERE*** htm)),c_translation_33),c_basekb) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(c_reasoningwithtense_logicmt_neutralplainmetricope ***HERE*** rator,c_calendarsmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_supremelpfindlawcomsupreme_courtbriefs99_19 ***HERE*** 0899_1908petamipacificrtf)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4unit ***HERE*** ed_states_of_americahtml)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 individual(f_urlfn(s_http_wwwlegcogovhkyr03_04englishcounmtgpaperscm1 ***HERE*** 217cb3_218_epdf)) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwmesothelioma__lawyercomstatewashingtonht ***HERE*** ml)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 computerdataartifact(f_urlreferentfn(f_urlfn(f_urlfn(s_http_forumsxgamorgindexphps139d56ccb0e24593f69b5 ***HERE*** 8c70186a2b2actprintclientprinterf31t9613)))) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_ukencartamsncomencyclopedia_761573010_4unit ***HERE*** ed_states_of_americahtml)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 2.89/3.20
% 2.89/3.20
% 2.89/3.20 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_dossier_lt_gen_mustaf ***HERE*** a_tlass),c_basekb) = true.
% 2.89/3.20
% 2.89/3.20 ERROR, name too big, max is 50;
% 2.89/3.20 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 ifeq4(mtvisible(c_englishmt),true,prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist,c_hasmembers,c_terroristgroup),s_terroristthathasbeenamemberofaterroristorganizat ***HERE*** ion),true) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdraybolgeroffset0)),c_translation_29),c_machinelearningspindleheadmt) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwevsdesignscomonline_dealsb0006gqkbgwith_ ***HERE*** all_deliberate_speedhtml)),c_translation_33),c_basekb) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_2339,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_2339) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 ifeq4(propersubcollectionnamedfn_ternarystationerystorel ***HERE*** ocation_underspecified33fd3901_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnizkororgftpcgipeoplewwaynelindacanadari ***HERE*** ght)),c_translation_7),c_machinelearningspindleheadmt) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 computerdataartifact(f_urlreferentfn(f_urlfn(f_urlfn(s_http_yalenewhavenhealthorglibraryhealthguideen_u ***HERE*** sdrugguidetopicasphwidd00103a1)))) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 ifeq4(collectionintersectionfnthesetadultmalehumanmilita ***HERE*** rypersonbritishperson(OBJ),true,militaryperson(OBJ),true) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_richmondthenandnowcomfamous_people_richmond ***HERE*** _4html)),c_translation_33),c_basekb) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_982,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_982),true) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_5497,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_5497) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 genlmt(f_contextofpcwfn(c_tkbfactentrysource_database_cia_world_factbook_2 ***HERE*** 005),c_ldscgeneralcollectormt) = true.
% 3.01/3.35
% 3.01/3.35 ERROR, name too big, max is 50;
% 3.01/3.35 ERROR, name expected:
% 3.01/3.35
% 3.01/3.35
% 3.01/3.35 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwmovieseercomactorprofilebilaspaid285chan ***HERE*** nel2)),c_translation_12),c_basekb) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(isa(OBJ,f_unsatisfactoryattempttofn(f_propersubcollectionnamedfn_ternary(s_attempttohitapolicevehiclehitacrowdedbusstopinst ***HERE*** ead,c_actiononobject,s_341f18e0_f4ed_11d9_9bea_0002b3a85b0b))),true,individual(OBJ),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 genls(f_unsatisfactoryattempttofn(f_propersubcollectionnamedfn_ternary(s_attempttohitapolicevehiclehitacrowdedbusstopinst ***HERE*** ead,c_actiononobject,s_341f18e0_f4ed_11d9_9bea_0002b3a85b0b)),c_individual) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(unsatisfactoryattempttofnpropersubcollectionnamedf ***HERE*** n_ternaryattempttohitapolicevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,individual(OBJ),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwminneapolisparksorgdocumentscaringwirth_ ***HERE*** minnha_mgmt_plan1pdf)),c_translation_30),c_machinelearningspindleheadmt) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(collectionintersection2fnmilitarypersonunitedstate ***HERE*** sperson(OBJ),true,militaryperson(OBJ),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwindependent_bangladeshcomnewsjul01010720 ***HERE*** 05mghtm)),c_translation_23),c_machinelearningspindleheadmt) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwsurgerydoorcoukmedconsprintasprecno23068 ***HERE*** 988)),c_translation_0_885),c_basekb) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_dvdawardforbestcomdvd_detail_b00005uo7f_som ***HERE*** e_folks_call_it_a_sling_bladehtm)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_7402,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_7402),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_8,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_8),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(subcollectionofwithrelationfromtypefnenduringthing ***HERE*** _localizedeventoccursatevent_localized(OBJ),true,enduringthing_localized(OBJ),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 ifeq4(meaninginsystemfnsensus_information1997language_re ***HERE*** lated_object(OBJ),true,individual(OBJ),true) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 individual(f_urlfn(s_http_wwwbilly_ball_forumcombbfviewtopicphpp610si ***HERE*** dcb662a7a1f999dd674e06ef26575b37b)) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.17/3.49 ERROR, name expected:
% 3.17/3.49
% 3.17/3.49
% 3.17/3.49 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnizkororgftpcgiorgscanadianftppyorgscana ***HERE*** dianchurch_of_the_creatorcanadaright)),c_translation_3),c_machinelearningspindleheadmt) = true.
% 3.17/3.49
% 3.17/3.49 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_ ***HERE*** of_munichhtml)),c_translation_3)) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 ifeq4(propersubcollectionnamedfn_ternarytoolboxofpianotu ***HERE*** nerlocation_underspecified341aac10_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwucdmcucdavisedusurgeryresidencysurgical_ ***HERE*** criticalindexshtml)),c_translation_0_885)) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_2952,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_2952),true) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 individual(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwamazoncomexecobidostgdetail_1893224244vg ***HERE*** lance)),c_translation_33)) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 individual(f_urlreferentfn(f_urlfn(s_http_wwwwashingtonpostcomwp_srvstylelongtermmovi ***HERE*** esvideoscluelesspg13hinson_c02396htm))) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnewsharvardedugazette19980129klineweaver ***HERE*** namehtml)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 genlmt(f_contextofpcwfn(c_proceedings_of_the_13th_world_wide_web_conferenc ***HERE*** e),c_ldscgeneralcollectormt) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_familyscreensceneallinfoaboutcomtvone_tree_ ***HERE*** hillhtml)),c_translation_32),c_basekb) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 ifeq4(collectionunionfnthesettrain_transportationdevicer ***HERE*** oadvehicletransportationpathsystem(OBJ),true,thing(OBJ),true) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_filmguardiancoukfeature_storyobserver041202 ***HERE*** 538500html)),c_translation_12),c_basekb) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_encyclopediathefreedictionarycomscrewball20 ***HERE*** comedy20film)),c_translation_25),c_machinelearningspindleheadmt) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 individual(c_tptpnproductproviderfn_sellerelectronichousehold ***HERE*** appliance_9) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 ifeq4(evaluatingvalueofwithrespecttofnrouter_networkmiss ***HERE*** ionspecificationmicrotheory(OBJ),true,individual(OBJ),true) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 ifeq4(subcollectionofwithrelationfromfnmilitarypersonhas ***HERE*** membersarmedforcesfnunitedstatesofamerica(OBJ),true,militaryperson(OBJ),true) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 ifeq4(collectionintersectionfnthesetfinitespatialthingco ***HERE*** ne(OBJ),true,thing(OBJ),true) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.31/3.66
% 3.31/3.66
% 3.31/3.66 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwaaaeventscoukforumsview_topicphpid1439fo ***HERE*** rum_id24page3)),c_translation_3),c_machinelearningspindleheadmt) = true.
% 3.31/3.66
% 3.31/3.66 ERROR, name too big, max is 50;
% 3.31/3.66 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwasha_foundationorgwomenwomenhelen_gurley ***HERE*** _brownphp)),c_translation_26),c_basekb) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 computerdataartifact(f_urlreferentfn(f_urlfn(f_urlfn(s_http_thecommonillsblogspotcom200502dallas_has_pr ***HERE*** oblems_with_arts_sectionhtml)))) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 genlmt(f_contextofpcwfn(c_tkbfactentrysource_webpage_two_detainees_of_dama ***HERE*** scus_spring_released_after_the_expiry_of_their_sentences),c_miptdatabase19681997_termsmt) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdadamsandleroffset0)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 individual(f_urlfn(s_http_wwwwomenstennisforumscomshowthreadphpt58754 ***HERE*** )) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_filmguardiancoukfeature_storyobserver041202 ***HERE*** 538500html)),c_translation_3),c_machinelearningspindleheadmt) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwcomputerbusinessreviewcomcompanyprofilea ***HERE*** spguidd80ec5c2_6048_4b8f_b693_8a87ad230a64)),c_translation_0_885),c_basekb) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnizkororgftpcgiorgscanadiannorthern_foun ***HERE*** dationcanadaright)),c_translation_1),c_machinelearningspindleheadmt) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwallwebdirectoriescomwwlanew_york_city_as ***HERE*** bestos_attorney_informationhtml)),c_translation_2),c_basekb) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 individual(f_urlreferentfn(f_urlfn(f_urlfn(s_http_wwwmnstateeduedhumanaccreditationstandardss ***HERE*** ecure_folderexhibitspdfmedicalconditionresearchcrouzonpdf)))) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 ifeq4(collectionunionfnthesetfluidtangiblethinggroupfnin ***HERE*** animateobject(OBJ),true,thing(OBJ),true) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_58,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_58) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 computerdataartifact(f_urlreferentfn(f_urlfn(f_urlfn(s_http_healthenotescomgenetic_disorders_encycloped ***HERE*** iafsh_muscular_dystrophy)))) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_archivethisiswiltshirecouk20031217129990htm ***HERE*** l)),c_translation_2),c_machinelearningspindleheadmt) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 ifeq4(mtvisible(c_keinteractionresourcetestmt),true,sampleinstanceoftypeforprogramfnrelativelocational ***HERE*** predicatecycanalyticenvironment_theprogram(c_inregion),true) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.47/3.81 ERROR, name expected:
% 3.47/3.81
% 3.47/3.81
% 3.47/3.81 ifeq4(nondavidsonianpredfnhidinganobjectbymovingitthelis ***HERE*** tperformedbyobjectactedon(ARG1,ARG2),true,ifeq4(mtvisible(c_situationpredicaterepresentationmt),true,somethingexisting(ARG2),true),true) = true.
% 3.47/3.81
% 3.47/3.81 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwastroszonecomforumsarchiveindexphpt_1751 ***HERE*** html)),c_translation_33),c_machinelearningspindleheadmt) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 ifeq4(mtvisible(c_tptp_spindleheadmt),true,ifeq4(isa(INS,f_propersubcollectionnamedfn_ternary(s_establishislamicinternationaleunderthepatrongage ***HERE*** ofosamabinladen,c_politicalorganization,s_3406aee4_f4ed_11d9_9bea_0002b3a85b0b)),true,tptpofobject(INS,f_tptpquantityfn_16(n_52)),true),true) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 ifeq4(mtvisible(c_tptp_spindleheadmt),true,relationallinstance(c_tptpofobject,f_propersubcollectionnamedfn_ternary(s_establishislamicinternationaleunderthepatrongage ***HERE*** ofosamabinladen,c_politicalorganization,s_3406aee4_f4ed_11d9_9bea_0002b3a85b0b),f_tptpquantityfn_16(n_52)),true) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 individual(f_urlfn(s_http_whosedayisittodayblogspotcom2004_06_01_whos ***HERE*** edayisittoday_archivehtml)) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 ifeq4(artsupplies(OBJ),true,ifeq4(mtvisible(c_sensusmappingmt),true,meaninginsystemfnsensus_information1997separable_e ***HERE*** ntity(OBJ),true),true) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_802,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 ifeq4(mtvisible(c_englishmt),true,prettystring(f_instancewithrelationtofn(c_footballteam,c_affiliatedwith,c_beloitcollege),s_thefootballteamwhohasbeenaffiliatedwithbeloitcol ***HERE*** lege),true) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 individual(f_urlfn(s_http_wwwtimesofmaltacomcoreheadlinesphpsectionne ***HERE*** wsdate20051220)) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_mtvshopmtvcomnamepageaspxpidp66596typevloc1 ***HERE*** 9221)),c_translation_21),c_machinelearningspindleheadmt) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwthebookstandardcombookstandardnewsauthor ***HERE*** article_displayjspvnu_content_id1001570449)),c_translation_0_885),c_basekb) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_vh1shopvh1comnamepageaspxpidp66596typevloc3 ***HERE*** 3697)),c_translation_9)) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwallwebdirectoriescomwwlanew_york_city_as ***HERE*** bestos_attorney_informationhtml)),c_translation_2),c_machinelearningspindleheadmt) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 individual(f_urlreferentfn(f_urlfn(s_http_wwwbizjournalscomkansascitystories20020506d ***HERE*** aily31html))) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 ifeq4(subcollectionofwithrelationtotypefnmilitaryattackp ***HERE*** erformedbyguerillaforce(OBJ),true,individual(OBJ),true) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 individual(f_urlfn(s_http_open_siteorgkidsworld_and_countriesafricabu ***HERE*** rundi)) = true.
% 3.55/3.92
% 3.55/3.92 ERROR, name too big, max is 50;
% 3.55/3.92 ERROR, name expected:
% 3.55/3.92
% 3.55/3.92
% 3.55/3.92 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_678,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_678),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(mtvisible(c_englishmt),true,prettystring(f_latepartfn(f_timeintervalinclusivefn(f_sometimeinintervalfn(f_decadefn(n_199),s_bd5933ac_f9fd_41d8_8af5_bbc93c33b7d1),f_sometimeinintervalfn(f_monthfn(c_september,f_yearfn(n_2001)),s_bd596c1e_f9fd_41d8_8990_c458522a8ea5))),s_thelatepartofthespellbetweensometimeinthe1990san ***HERE*** dmostsometimeinseptember2001),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 genlmt(f_contextofpcwfn(c_tkbfactentrysource_book_axis_of_evil_iran_hizbal ***HERE*** lah_and_the_palestinian_terror_the),c_ldscgeneralcollectormt) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 microtheory(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_ ***HERE*** of_munichhtml)),c_translation_3)) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(collectionunionfnthesettimeintervalqualitativetime ***HERE*** ofday(OBJ),true,intangibleindividual(OBJ),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(subcollectionbyregionfntopographicalfeaturesouthea ***HERE*** sternregionfnhawaii_island_hawaii(OBJ),true,individual(OBJ),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 uniformresourcelocator(f_urlfn(s_http_wwwucopedusciencetodaypagesarchivetranscrip ***HERE*** ts2003sci786html)) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(propersubcollectionnamedfn_ternaryfirereellocation ***HERE*** _underspecified34270823_f4ed_11d9_9bea_0002b3a85b0b(OBJ),true,location_underspecified(OBJ),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 individual(c_tptpnremotelyexploitablefnvulnerabletostartupfil ***HERE*** eoverwrite_1) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnizkororgftpcgipeoplecftppypeoplecchrist ***HERE*** iedougcanadaright)),c_translation_3),c_machinelearningspindleheadmt) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(subcollectionofwithrelationtofnsubcollectionofwith ***HERE*** relationfromfnfacility_genericoperatesfacilitiesunitedstatesfederalgovernmentobjectfoundinlocationterritoryfnpanama(OBJ),true,spatialthing_nonsituational(OBJ),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(collectionintersection2fntwodimensionalgeometricth ***HERE*** ingintangible(OBJ),true,intangible(OBJ),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnzfilmconzdownloadsnz20film20issue2073pd ***HERE*** f)),c_translation_31),c_machinelearningspindleheadmt) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwwinecountryitarticlesenogastronomy_and_t ***HERE*** ourism548)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(collectionintersection2fnindividualagentenduringth ***HERE*** ing_localized(OBJ),true,enduringthing_localized(OBJ),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 uniformresourcelocator(f_urlfn(s_http_wwwwmuciacommkmk_album_200207_2aspprintpage ***HERE*** 1)) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(subcollectionofusedfortypefnsuppliesproducinghardc ***HERE*** opy(OBJ),true,supplies(OBJ),true) = true.
% 3.67/4.00
% 3.67/4.00 ERROR, name too big, max is 50;
% 3.67/4.00 ERROR, name expected:
% 3.67/4.00
% 3.67/4.00
% 3.67/4.00 ifeq4(collectionintersectionfnthesetlinearobject_onedime ***HERE*** nsionallinearobject_nonplanar(OBJ),true,thing(OBJ),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(mtvisible(c_englishmt),true,prettystring(f_subcollectionofwithrelationfromtypefn(c_terrorist,c_hasmembers,c_terroristgroup),s_terroristthathasbeenamemberofaterroristorganizat ***HERE*** ion),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwprobertencyclopaediacomcgi_binresplkeywo ***HERE*** rdcheroffset0)),c_translation_32),c_machinelearningspindleheadmt) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_mtvshopmtvcomnamepageaspxpidp66596typevloc3 ***HERE*** 3477)),c_translation_21),c_basekb) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,isa(c_tptpnsubcollectionofwithrelationfromtypefnunitve ***HERE*** ctorintervaldirectionoftranslation_throughoutmovement_translationevent_8722,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(mtvisible(c_currentworlddatacollectormt_nonhomocentric),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_8722),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwmccchurchorgmncstatement20of20call20to20 ***HERE*** be20the20next20moderator20of20ufmccdoc)),c_translation_2),c_machinelearningspindleheadmt) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(groupfnsubcollectionofwithrelationfromfnairplanepo ***HERE*** ssessesgovernmentfnisrael(OBJ),true,partiallytangible(OBJ),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(collectionunionfnthesetcalendarmillisecondcyclsent ***HERE*** ence(OBJ),true,aspatialthing(OBJ),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_filmguardiancoukfeature_storyobserver041202 ***HERE*** 538500html)),c_translation_0),c_basekb) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_websitesexpercraftcomn51pwindexphpqlog_entr ***HERE*** ylog_id4868)),c_translation_0_885),c_basekb) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(mtvisible(c_cyclistsmt),true,isa(c_tptpnsubcollectionofwithrelationtofnshipobjectfo ***HERE*** undinlocationcityofbostonma_597,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(mtvisible(c_cyclistsmt),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_597),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(OBJ),true,spatialthing_nonsituational(OBJ),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 ifeq4(collectionsubsetfnterroristattackthesetofeventandi ***HERE*** saeventterroristattackeventoccursateventisrael(OBJ),true,individual(OBJ),true) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnizkororgftpcgipeoplecchristiedougftppyp ***HERE*** eoplecchristiedougcanadaright)),c_translation_2_3),c_machinelearningspindleheadmt) = true.
% 3.81/4.15
% 3.81/4.15 ERROR, name too big, max is 50;
% 3.81/4.15 ERROR, name expected:
% 3.81/4.15
% 3.81/4.15
% 3.81/4.15 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwstartrekcomstartrekviewnewsarticle124354 ***HERE*** html)),c_translation_31),c_machinelearningspindleheadmt) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwamazoncomexecobidostgdetail_0375726721vg ***HERE*** lance)),c_translation_33),c_basekb) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(collectionunionfnthesettrain_transportationdevicer ***HERE*** oadvehicletransportfacilitytransportationpathsystem(OBJ),true,thing(OBJ),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 genlmt(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwnizkororgftpcgipeoplecchristiedougftppyp ***HERE*** eoplecchristiedougcanadaright)),c_translation_0_885),c_machinelearningspindleheadmt) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 individual(f_contentmtofcdafromeventfn(f_urlreferentfn(f_urlfn(s_http_wwwinformationblastcomtechnical_university_ ***HERE*** of_munichhtml)),c_translation_3)) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(isa(X,f_subcollectionofwithrelationfromfn(c_airplane,c_possesses,f_governmentfn(c_israel))),true,subcollectionofwithrelationfromfnairplanepossesses ***HERE*** governmentfnisrael(X),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(subcollectionofwithrelationfromfnairplanepossesses ***HERE*** governmentfnisrael(X),true,isa(X,f_subcollectionofwithrelationfromfn(c_airplane,c_possesses,f_governmentfn(c_israel))),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(isa(X,f_groupfn(f_subcollectionofwithrelationfromfn(c_airplane,c_possesses,f_governmentfn(c_israel)))),true,groupfnsubcollectionofwithrelationfromfnairplanepo ***HERE*** ssessesgovernmentfnisrael(X),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(groupfnsubcollectionofwithrelationfromfnairplanepo ***HERE*** ssessesgovernmentfnisrael(X),true,isa(X,f_groupfn(f_subcollectionofwithrelationfromfn(c_airplane,c_possesses,f_governmentfn(c_israel)))),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(isa(X,f_subcollectionofusedfortypefn(c_supplies,c_producinghardcopy)),true,subcollectionofusedfortypefnsuppliesproducinghardc ***HERE*** opy(X),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(subcollectionofusedfortypefnsuppliesproducinghardc ***HERE*** opy(X),true,isa(X,f_subcollectionofusedfortypefn(c_supplies,c_producinghardcopy)),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_accident,c_damages,c_automobile)),true,subcollectionofwithrelationtotypefnaccidentdamages ***HERE*** automobile(X),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(subcollectionofwithrelationtotypefnaccidentdamages ***HERE*** automobile(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_accident,c_damages,c_automobile)),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(isa(X,f_collectionintersection2fn(c_individualagent,c_enduringthing_localized)),true,collectionintersection2fnindividualagentenduringth ***HERE*** ing_localized(X),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(collectionintersection2fnindividualagentenduringth ***HERE*** ing_localized(X),true,isa(X,f_collectionintersection2fn(c_individualagent,c_enduringthing_localized)),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(isa(X,f_collectionintersection2fn(c_twodimensionalgeometricthing,c_intangible)),true,collectionintersection2fntwodimensionalgeometricth ***HERE*** ingintangible(X),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(collectionintersection2fntwodimensionalgeometricth ***HERE*** ingintangible(X),true,isa(X,f_collectionintersection2fn(c_twodimensionalgeometricthing,c_intangible)),true) = true.
% 3.97/4.31
% 3.97/4.31 ERROR, name too big, max is 50;
% 3.97/4.31 ERROR, name expected:
% 3.97/4.31
% 3.97/4.31
% 3.97/4.31 ifeq4(isa(X,f_subcollectionofwithrelationfromfn(c_facility_generic,c_operatesfacilities,c_unitedstatesfederalgovernment)),true,subcollectionofwithrelationfromfnfacility_generico ***HERE*** peratesfacilitiesunitedstatesfederalgovernment(X),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(subcollectionofwithrelationfromfnfacility_generico ***HERE*** peratesfacilitiesunitedstatesfederalgovernment(X),true,isa(X,f_subcollectionofwithrelationfromfn(c_facility_generic,c_operatesfacilities,c_unitedstatesfederalgovernment)),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(isa(X,f_subcollectionofwithrelationtofn(f_subcollectionofwithrelationfromfn(c_facility_generic,c_operatesfacilities,c_unitedstatesfederalgovernment),c_objectfoundinlocation,f_territoryfn(c_panama))),true,subcollectionofwithrelationtofnsubcollectionofwith ***HERE*** relationfromfnfacility_genericoperatesfacilitiesunitedstatesfederalgovernmentobjectfoundinlocationterritoryfnpanama(X),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(subcollectionofwithrelationtofnsubcollectionofwith ***HERE*** relationfromfnfacility_genericoperatesfacilitiesunitedstatesfederalgovernmentobjectfoundinlocationterritoryfnpanama(X),true,isa(X,f_subcollectionofwithrelationtofn(f_subcollectionofwithrelationfromfn(c_facility_generic,c_operatesfacilities,c_unitedstatesfederalgovernment),c_objectfoundinlocation,f_territoryfn(c_panama))),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_firereel,c_location_underspecified,s_34270823_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryfirereellocation ***HERE*** _underspecified34270823_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(propersubcollectionnamedfn_ternaryfirereellocation ***HERE*** _underspecified34270823_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_firereel,c_location_underspecified,s_34270823_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(isa(X,f_subcollectionbyregionfn(c_topographicalfeature,f_southeasternregionfn(c_hawaii_island_hawaii))),true,subcollectionbyregionfntopographicalfeaturesouthea ***HERE*** sternregionfnhawaii_island_hawaii(X),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(subcollectionbyregionfntopographicalfeaturesouthea ***HERE*** sternregionfnhawaii_island_hawaii(X),true,isa(X,f_subcollectionbyregionfn(c_topographicalfeature,f_southeasternregionfn(c_hawaii_island_hawaii))),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_militaryattack,c_performedby,c_guerillaforce)),true,subcollectionofwithrelationtotypefnmilitaryattackp ***HERE*** erformedbyguerillaforce(X),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(subcollectionofwithrelationtotypefnmilitaryattackp ***HERE*** erformedbyguerillaforce(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_militaryattack,c_performedby,c_guerillaforce)),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_selectingsomething,c_chosenitem,c_creditcard)),true,subcollectionofwithrelationtotypefnselectingsometh ***HERE*** ingchosenitemcreditcard(X),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(subcollectionofwithrelationtotypefnselectingsometh ***HERE*** ingchosenitemcreditcard(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_selectingsomething,c_chosenitem,c_creditcard)),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(isa(X,f_meaninginsystemfn(c_sensus_information1997,s_separable_entity)),true,meaninginsystemfnsensus_information1997separable_e ***HERE*** ntity(X),true) = true.
% 4.25/4.56
% 4.25/4.56 ERROR, name too big, max is 50;
% 4.25/4.56 ERROR, name expected:
% 4.25/4.56
% 4.25/4.56
% 4.25/4.56 ifeq4(meaninginsystemfnsensus_information1997separable_e ***HERE*** ntity(X),true,isa(X,f_meaninginsystemfn(c_sensus_information1997,s_separable_entity)),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_establishislamicinternationaleunderthepatrongage ***HERE*** ofosamabinladen,c_politicalorganization,s_3406aee4_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryestablishislamicinternationaleunderthepatrongageofosamabinladenpoliticalorganization3406aee4_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(propersubcollectionnamedfn_ternaryestablishislamic ***HERE*** internationaleunderthepatrongageofosamabinladenpoliticalorganization3406aee4_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_establishislamicinternationaleunderthepatrongageofosamabinladen,c_politicalorganization,s_3406aee4_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(tptp_8_14(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(nondavidsonianpredfnhidinganobjectbymovingitthelis ***HERE*** tperformedbyobjectactedon(ARG1,INS),true,ifeq4(mtvisible(c_situationpredicaterepresentationmt),true,somethingexisting(INS),true),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(nondavidsonianpredfnhidinganobjectbymovingitthelis ***HERE*** tperformedbyobjectactedon(INS,ARG2),true,ifeq4(mtvisible(c_situationpredicaterepresentationmt),true,agent_generic(INS),true),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(isa(X,f_sampleinstanceoftypeforprogramfn(c_relativelocationalpredicate,c_cycanalyticenvironment_theprogram)),true,sampleinstanceoftypeforprogramfnrelativelocational ***HERE*** predicatecycanalyticenvironment_theprogram(X),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(sampleinstanceoftypeforprogramfnrelativelocational ***HERE*** predicatecycanalyticenvironment_theprogram(X),true,isa(X,f_sampleinstanceoftypeforprogramfn(c_relativelocationalpredicate,c_cycanalyticenvironment_theprogram)),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(isa(X,f_subcollectionofwithrelationtofn(c_terrorist,c_ethnicity,c_ethnicgroupofindia)),true,subcollectionofwithrelationtofnterroristethnicitye ***HERE*** thnicgroupofindia(X),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(subcollectionofwithrelationtofnterroristethnicitye ***HERE*** thnicgroupofindia(X),true,isa(X,f_subcollectionofwithrelationtofn(c_terrorist,c_ethnicity,c_ethnicgroupofindia)),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_investigation,c_for_underspecifiedlocation,f_cancerfn(c_breast))),true,subcollectionofwithrelationtotypefninvestigationfo ***HERE*** r_underspecifiedlocationcancerfnbreast(X),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(subcollectionofwithrelationtotypefninvestigationfo ***HERE*** r_underspecifiedlocationcancerfnbreast(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_investigation,c_for_underspecifiedlocation,f_cancerfn(c_breast))),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(isa(X,f_subcollectionofwithrelationfromfn(c_militaryperson,c_hasmembers,f_armedforcesfn(c_unitedstatesofamerica))),true,subcollectionofwithrelationfromfnmilitarypersonhas ***HERE*** membersarmedforcesfnunitedstatesofamerica(X),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.43/4.77
% 4.43/4.77
% 4.43/4.77 ifeq4(subcollectionofwithrelationfromfnmilitarypersonhas ***HERE*** membersarmedforcesfnunitedstatesofamerica(X),true,isa(X,f_subcollectionofwithrelationfromfn(c_militaryperson,c_hasmembers,f_armedforcesfn(c_unitedstatesofamerica))),true) = true.
% 4.43/4.77
% 4.43/4.77 ERROR, name too big, max is 50;
% 4.43/4.77 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(isa(X,f_evaluatingvalueofwithrespecttofn(c_router_network,c_missionspecificationmicrotheory)),true,evaluatingvalueofwithrespecttofnrouter_networkmiss ***HERE*** ionspecificationmicrotheory(X),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(evaluatingvalueofwithrespecttofnrouter_networkmiss ***HERE*** ionspecificationmicrotheory(X),true,isa(X,f_evaluatingvalueofwithrespecttofn(c_router_network,c_missionspecificationmicrotheory)),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_toolboxofpianotuner,c_location_underspecified,s_341aac10_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarytoolboxofpianotu ***HERE*** nerlocation_underspecified341aac10_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(propersubcollectionnamedfn_ternarytoolboxofpianotu ***HERE*** nerlocation_underspecified341aac10_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_toolboxofpianotuner,c_location_underspecified,s_341aac10_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(isa(X,f_meaninginsystemfn(c_sensus_information1997,s_language_related_object)),true,meaninginsystemfnsensus_information1997language_re ***HERE*** lated_object(X),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(meaninginsystemfnsensus_information1997language_re ***HERE*** lated_object(X),true,isa(X,f_meaninginsystemfn(c_sensus_information1997,s_language_related_object)),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_enduringthing_localized,c_eventoccursat,c_event_localized)),true,subcollectionofwithrelationfromtypefnenduringthing ***HERE*** _localizedeventoccursatevent_localized(X),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(subcollectionofwithrelationfromtypefnenduringthing ***HERE*** _localizedeventoccursatevent_localized(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_enduringthing_localized,c_eventoccursat,c_event_localized)),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(isa(X,f_collectionintersection2fn(c_militaryperson,c_unitedstatesperson)),true,collectionintersection2fnmilitarypersonunitedstate ***HERE*** sperson(X),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(collectionintersection2fnmilitarypersonunitedstate ***HERE*** sperson(X),true,isa(X,f_collectionintersection2fn(c_militaryperson,c_unitedstatesperson)),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_attempttohitapolicevehiclehitacrowdedbusstopinst ***HERE*** ead,c_actiononobject,s_341f18e0_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryattempttohitapolicevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(propersubcollectionnamedfn_ternaryattempttohitapol ***HERE*** icevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_attempttohitapolicevehiclehitacrowdedbusstopinstead,c_actiononobject,s_341f18e0_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(isa(X,f_unsatisfactoryattempttofn(f_propersubcollectionnamedfn_ternary(s_attempttohitapolicevehiclehitacrowdedbusstopinst ***HERE*** ead,c_actiononobject,s_341f18e0_f4ed_11d9_9bea_0002b3a85b0b))),true,unsatisfactoryattempttofnpropersubcollectionnamedfn_ternaryattempttohitapolicevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 4.84/5.17
% 4.84/5.17 ERROR, name too big, max is 50;
% 4.84/5.17 ERROR, name expected:
% 4.84/5.17
% 4.84/5.17
% 4.84/5.17 ifeq4(unsatisfactoryattempttofnpropersubcollectionnamedf ***HERE*** n_ternaryattempttohitapolicevehiclehitacrowdedbusstopinsteadactiononobject341f18e0_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_unsatisfactoryattempttofn(f_propersubcollectionnamedfn_ternary(s_attempttohitapolicevehiclehitacrowdedbusstopinstead,c_actiononobject,s_341f18e0_f4ed_11d9_9bea_0002b3a85b0b))),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_stationerystore,c_location_underspecified,s_33fd3901_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarystationerystorel ***HERE*** ocation_underspecified33fd3901_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(propersubcollectionnamedfn_ternarystationerystorel ***HERE*** ocation_underspecified33fd3901_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_stationerystore,c_location_underspecified,s_33fd3901_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_factorybuildingcomplex,c_eventoccursat,c_assembling)),true,subcollectionofwithrelationfromtypefnfactorybuildi ***HERE*** ngcomplexeventoccursatassembling(X),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(subcollectionofwithrelationfromtypefnfactorybuildi ***HERE*** ngcomplexeventoccursatassembling(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_factorybuildingcomplex,c_eventoccursat,c_assembling)),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(isa(X,f_meaninginsystemfn(c_sensus_information1997,s_interpersonal_thing)),true,meaninginsystemfnsensus_information1997interperson ***HERE*** al_thing(X),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(meaninginsystemfnsensus_information1997interperson ***HERE*** al_thing(X),true,isa(X,f_meaninginsystemfn(c_sensus_information1997,s_interpersonal_thing)),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_trainingfacility,c_partiallytangible,s_3413ce42_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarytrainingfacility ***HERE*** partiallytangible3413ce42_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(propersubcollectionnamedfn_ternarytrainingfacility ***HERE*** partiallytangible3413ce42_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_trainingfacility,c_partiallytangible,s_3413ce42_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_person,c_owns,c_confectionery)),true,subcollectionofwithrelationtotypefnpersonownsconfe ***HERE*** ctionery(X),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(subcollectionofwithrelationtotypefnpersonownsconfe ***HERE*** ctionery(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_person,c_owns,c_confectionery)),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_maintainingsomething,c_objecttakencareof,c_regionalgovernment)),true,subcollectionofwithrelationtotypefnmaintainingsome ***HERE*** thingobjecttakencareofregionalgovernment(X),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(subcollectionofwithrelationtotypefnmaintainingsome ***HERE*** thingobjecttakencareofregionalgovernment(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_maintainingsomething,c_objecttakencareof,c_regionalgovernment)),true) = true.
% 4.97/5.33
% 4.97/5.33 ERROR, name too big, max is 50;
% 4.97/5.33 ERROR, name expected:
% 4.97/5.33
% 4.97/5.33
% 4.97/5.33 ifeq4(isa(X,f_subcollectionofwithrelationtofn(c_facility_construct,c_primaryactivitytypeoflocation,f_subcollectionofwithrelationtotypefn(c_maintainingsomething,c_objecttakencareof,c_regionalgovernment))),true,subcollectionofwithrelationtofnfacility_constructp ***HERE*** rimaryactivitytypeoflocationsubcollectionofwithrelationtotypefnmaintainingsomethingobjecttakencareofregionalgovernment(X),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(subcollectionofwithrelationtofnfacility_constructp ***HERE*** rimaryactivitytypeoflocationsubcollectionofwithrelationtotypefnmaintainingsomethingobjecttakencareofregionalgovernment(X),true,isa(X,f_subcollectionofwithrelationtofn(c_facility_construct,c_primaryactivitytypeoflocation,f_subcollectionofwithrelationtotypefn(c_maintainingsomething,c_objecttakencareof,c_regionalgovernment))),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(tptp_9_163(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_enduringthing_localized,c_fromlocation,c_translocation)),true,subcollectionofwithrelationfromtypefnenduringthing ***HERE*** _localizedfromlocationtranslocation(X),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(subcollectionofwithrelationfromtypefnenduringthing ***HERE*** _localizedfromlocationtranslocation(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_enduringthing_localized,c_fromlocation,c_translocation)),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(isa(X,c_vocabularyforstatingrelationshipsbetweenmicrothe ***HERE*** ories_mtexpansion_topic),true,vocabularyforstatingrelationshipsbetweenmicrotheories_mtexpansion_topic(X),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(vocabularyforstatingrelationshipsbetweenmicrotheor ***HERE*** ies_mtexpansion_topic(X),true,isa(X,c_vocabularyforstatingrelationshipsbetweenmicrotheories_mtexpansion_topic),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(tptp_9_608(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_richguyspocket,c_location_underspecified,s_341b4856_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryrichguyspocketlo ***HERE*** cation_underspecified341b4856_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(propersubcollectionnamedfn_ternaryrichguyspocketlo ***HERE*** cation_underspecified341b4856_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_richguyspocket,c_location_underspecified,s_341b4856_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(tptp_9_395(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(isa(X,f_subcollectionofwithrelationfromfn(c_loading,c_tolocation,c_airplane)),true,subcollectionofwithrelationfromfnloadingtolocation ***HERE*** airplane(X),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(subcollectionofwithrelationfromfnloadingtolocation ***HERE*** airplane(X),true,isa(X,f_subcollectionofwithrelationfromfn(c_loading,c_tolocation,c_airplane)),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(isa(X,f_subcollectionofusedfortypefn(c_supplies,c_computerprinter_laser)),true,subcollectionofusedfortypefnsuppliescomputerprinte ***HERE*** r_laser(X),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(subcollectionofusedfortypefnsuppliescomputerprinte ***HERE*** r_laser(X),true,isa(X,f_subcollectionofusedfortypefn(c_supplies,c_computerprinter_laser)),true) = true.
% 5.15/5.53
% 5.15/5.53 ERROR, name too big, max is 50;
% 5.15/5.53 ERROR, name expected:
% 5.15/5.53
% 5.15/5.53
% 5.15/5.53 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_shallowwaters,c_location_underspecified,s_33f28aa0_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryshallowwatersloc ***HERE*** ation_underspecified33f28aa0_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(propersubcollectionnamedfn_ternaryshallowwatersloc ***HERE*** ation_underspecified33f28aa0_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_shallowwaters,c_location_underspecified,s_33f28aa0_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(isa(X,f_collectionintersection2fn(c_communicationsorganization,c_entertainmentorrecreationorganization)),true,collectionintersection2fncommunicationsorganizatio ***HERE*** nentertainmentorrecreationorganization(X),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(collectionintersection2fncommunicationsorganizatio ***HERE*** nentertainmentorrecreationorganization(X),true,isa(X,f_collectionintersection2fn(c_communicationsorganization,c_entertainmentorrecreationorganization)),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_openedfire,c_actiononobject,s_33d6c543_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryopenedfireaction ***HERE*** onobject33d6c543_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(propersubcollectionnamedfn_ternaryopenedfireaction ***HERE*** onobject33d6c543_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_openedfire,c_actiononobject,s_33d6c543_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(nondavidsonianpredfnaccessingacomputeraccounttheli ***HERE*** stperformedbyaccountaccessedaccountsystemaccessed(ARG1,ARG2,INS),true,ifeq4(mtvisible(c_situationpredicaterepresentationmt),true,accountsystem(INS),true),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(nondavidsonianpredfnaccessingacomputeraccounttheli ***HERE*** stperformedbyaccountaccessedaccountsystemaccessed(ARG1,ARG2,INS),true,accountsystem(INS),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(nondavidsonianpredfnaccessingacomputeraccounttheli ***HERE*** stperformedbyaccountaccessedaccountsystemaccessed(ARG1,INS,ARG3),true,ifeq4(mtvisible(c_situationpredicaterepresentationmt),true,computeraccount(INS),true),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(nondavidsonianpredfnaccessingacomputeraccounttheli ***HERE*** stperformedbyaccountaccessedaccountsystemaccessed(ARG1,INS,ARG3),true,computeraccount(INS),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(nondavidsonianpredfnaccessingacomputeraccounttheli ***HERE*** stperformedbyaccountaccessedaccountsystemaccessed(INS,ARG2,ARG3),true,ifeq4(mtvisible(c_situationpredicaterepresentationmt),true,agent_generic(INS),true),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(nondavidsonianpredfnaccessingacomputeraccounttheli ***HERE*** stperformedbyaccountaccessedaccountsystemaccessed(INS,ARG2,ARG3),true,agent_generic(INS),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_officeofbroadcastingcompany,c_location_underspecified,s_340687d1_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryofficeofbroadcas ***HERE*** tingcompanylocation_underspecified340687d1_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(propersubcollectionnamedfn_ternaryofficeofbroadcas ***HERE*** tingcompanylocation_underspecified340687d1_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_officeofbroadcastingcompany,c_location_underspecified,s_340687d1_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 5.53/5.87
% 5.53/5.87 ERROR, name too big, max is 50;
% 5.53/5.87 ERROR, name expected:
% 5.53/5.87
% 5.53/5.87
% 5.53/5.87 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_tntanddetonators,c_artifact_generic,s_341b2145_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarytntanddetonators ***HERE*** artifact_generic341b2145_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(propersubcollectionnamedfn_ternarytntanddetonators ***HERE*** artifact_generic341b2145_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_tntanddetonators,c_artifact_generic,s_341b2145_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_detonateexplosivesattheheadquartersofthenorthern ***HERE*** irelandprisonservice,c_actiononobject,s_33f28aa6_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarydetonateexplosivesattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(propersubcollectionnamedfn_ternarydetonateexplosiv ***HERE*** esattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_detonateexplosivesattheheadquartersofthenorthernirelandprisonservice,c_actiononobject,s_33f28aa6_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(isa(X,f_unsuccessfulattempttofn(f_propersubcollectionnamedfn_ternary(s_detonateexplosivesattheheadquartersofthenorthern ***HERE*** irelandprisonservice,c_actiononobject,s_33f28aa6_f4ed_11d9_9bea_0002b3a85b0b))),true,unsuccessfulattempttofnpropersubcollectionnamedfn_ternarydetonateexplosivesattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(unsuccessfulattempttofnpropersubcollectionnamedfn_ ***HERE*** ternarydetonateexplosivesattheheadquartersofthenorthernirelandprisonserviceactiononobject33f28aa6_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_unsuccessfulattempttofn(f_propersubcollectionnamedfn_ternary(s_detonateexplosivesattheheadquartersofthenorthernirelandprisonservice,c_actiononobject,s_33f28aa6_f4ed_11d9_9bea_0002b3a85b0b))),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(isa(X,f_subcollectionofaboutfn(c_supplies,c_scientificfieldofstudy)),true,subcollectionofaboutfnsuppliesscientificfieldofstu ***HERE*** dy(X),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(subcollectionofaboutfnsuppliesscientificfieldofstu ***HERE*** dy(X),true,isa(X,f_subcollectionofaboutfn(c_supplies,c_scientificfieldofstudy)),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(isa(X,f_meaninginsystemfn(c_sensus_information1997,s_nondecomposable_object)),true,meaninginsystemfnsensus_information1997nondecompos ***HERE*** able_object(X),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(meaninginsystemfnsensus_information1997nondecompos ***HERE*** able_object(X),true,isa(X,f_meaninginsystemfn(c_sensus_information1997,s_nondecomposable_object)),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(isa(X,f_conceptnodesfortasktypefn(c_intelligenceanalysistask_allotment)),true,conceptnodesfortasktypefnintelligenceanalysistask_ ***HERE*** allotment(X),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(conceptnodesfortasktypefnintelligenceanalysistask_ ***HERE*** allotment(X),true,isa(X,f_conceptnodesfortasktypefn(c_intelligenceanalysistask_allotment)),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_hotelreservation,c_agreeingserviceprovider,c_bedandbreakfast)),true,subcollectionofwithrelationtotypefnhotelreservatio ***HERE*** nagreeingserviceproviderbedandbreakfast(X),true) = true.
% 5.93/6.27
% 5.93/6.27 ERROR, name too big, max is 50;
% 5.93/6.27 ERROR, name expected:
% 5.93/6.27
% 5.93/6.27
% 5.93/6.27 ifeq4(subcollectionofwithrelationtotypefnhotelreservatio ***HERE*** nagreeingserviceproviderbedandbreakfast(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_hotelreservation,c_agreeingserviceprovider,c_bedandbreakfast)),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_athotel,c_location_underspecified,s_33d71362_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryathotellocation_ ***HERE*** underspecified33d71362_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(propersubcollectionnamedfn_ternaryathotellocation_ ***HERE*** underspecified33d71362_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_athotel,c_location_underspecified,s_33d71362_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_malfunction,c_malfunctionaffects,c_automobile)),true,subcollectionofwithrelationtotypefnmalfunctionmalf ***HERE*** unctionaffectsautomobile(X),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(subcollectionofwithrelationtotypefnmalfunctionmalf ***HERE*** unctionaffectsautomobile(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_malfunction,c_malfunctionaffects,c_automobile)),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_undertree,c_location_underspecified,s_340e28f2_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryundertreelocatio ***HERE*** n_underspecified340e28f2_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(propersubcollectionnamedfn_ternaryundertreelocatio ***HERE*** n_underspecified340e28f2_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_undertree,c_location_underspecified,s_340e28f2_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_libraryofcongress,c_location_underspecified,s_342bc310_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarylibraryofcongres ***HERE*** slocation_underspecified342bc310_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(propersubcollectionnamedfn_ternarylibraryofcongres ***HERE*** slocation_underspecified342bc310_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_libraryofcongress,c_location_underspecified,s_342bc310_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(tptp_9_28(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_reducehunger,c_individual,s_34104bd3_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryreducehungerindi ***HERE*** vidual34104bd3_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(propersubcollectionnamedfn_ternaryreducehungerindi ***HERE*** vidual34104bd3_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_reducehunger,c_individual,s_34104bd3_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_musicshop,c_location_underspecified,s_33f23c85_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarymusicshoplocatio ***HERE*** n_underspecified33f23c85_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 6.67/6.99
% 6.67/6.99 ERROR, name too big, max is 50;
% 6.67/6.99 ERROR, name expected:
% 6.67/6.99
% 6.67/6.99
% 6.67/6.99 ifeq4(propersubcollectionnamedfn_ternarymusicshoplocatio ***HERE*** n_underspecified33f23c85_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_musicshop,c_location_underspecified,s_33f23c85_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_dangerousthing,c_objectfoundinlocation,c_underwaterlocation)),true,subcollectionofwithrelationtotypefndangerousthingo ***HERE*** bjectfoundinlocationunderwaterlocation(X),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(subcollectionofwithrelationtotypefndangerousthingo ***HERE*** bjectfoundinlocationunderwaterlocation(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_dangerousthing,c_objectfoundinlocation,c_underwaterlocation)),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_individual,c_properparts,c_individual)),true,subcollectionofwithrelationfromtypefnindividualpro ***HERE*** perpartsindividual(X),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(subcollectionofwithrelationfromtypefnindividualpro ***HERE*** perpartsindividual(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_individual,c_properparts,c_individual)),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_tizzy,c_location_underspecified,s_34096e01_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarytizzylocation_un ***HERE*** derspecified34096e01_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(propersubcollectionnamedfn_ternarytizzylocation_un ***HERE*** derspecified34096e01_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_tizzy,c_location_underspecified,s_34096e01_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(isa(X,f_subcollectionofwithrelationtofn(c_enduringthing_localized,c_inregion,c_unitedkingdomofgreatbritainandnorthernireland)),true,subcollectionofwithrelationtofnenduringthing_local ***HERE*** izedinregionunitedkingdomofgreatbritainandnorthernireland(X),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(subcollectionofwithrelationtofnenduringthing_local ***HERE*** izedinregionunitedkingdomofgreatbritainandnorthernireland(X),true,isa(X,f_subcollectionofwithrelationtofn(c_enduringthing_localized,c_inregion,c_unitedkingdomofgreatbritainandnorthernireland)),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_bodyofwater,c_geographicalsubregions,c_sea)),true,subcollectionofwithrelationfromtypefnbodyofwaterge ***HERE*** ographicalsubregionssea(X),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(subcollectionofwithrelationfromtypefnbodyofwaterge ***HERE*** ographicalsubregionssea(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_bodyofwater,c_geographicalsubregions,c_sea)),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(tptp_7_57(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(isa(X,f_evaluatingvalueofwithrespecttofn(c_computernetwork,c_missionspecificationmicrotheory)),true,evaluatingvalueofwithrespecttofncomputernetworkmis ***HERE*** sionspecificationmicrotheory(X),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(evaluatingvalueofwithrespecttofncomputernetworkmis ***HERE*** sionspecificationmicrotheory(X),true,isa(X,f_evaluatingvalueofwithrespecttofn(c_computernetwork,c_missionspecificationmicrotheory)),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(tptp_5_9(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 7.06/7.36
% 7.06/7.36 ERROR, name too big, max is 50;
% 7.06/7.36 ERROR, name expected:
% 7.06/7.36
% 7.06/7.36
% 7.06/7.36 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_militaryperson,c_hasmembers,c_governmentmilitaryorganization)),true,subcollectionofwithrelationfromtypefnmilitaryperso ***HERE*** nhasmembersgovernmentmilitaryorganization(X),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(subcollectionofwithrelationfromtypefnmilitaryperso ***HERE*** nhasmembersgovernmentmilitaryorganization(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_militaryperson,c_hasmembers,c_governmentmilitaryorganization)),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(isa(X,f_subcollectionofwithrelationtofn(c_enduringthing_localized,c_inregion,f_citynamedfn(s_toribio,c_colombia))),true,subcollectionofwithrelationtofnenduringthing_local ***HERE*** izedinregioncitynamedfntoribiocolombia(X),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(subcollectionofwithrelationtofnenduringthing_local ***HERE*** izedinregioncitynamedfntoribiocolombia(X),true,isa(X,f_subcollectionofwithrelationtofn(c_enduringthing_localized,c_inregion,f_citynamedfn(s_toribio,c_colombia))),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_orientationvector,c_orientation,c_partiallytangible)),true,subcollectionofwithrelationfromtypefnorientationve ***HERE*** ctororientationpartiallytangible(X),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(subcollectionofwithrelationfromtypefnorientationve ***HERE*** ctororientationpartiallytangible(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_orientationvector,c_orientation,c_partiallytangible)),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_christchurch,c_location_underspecified,s_33f34df1_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternarychristchurchloca ***HERE*** tion_underspecified33f34df1_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(propersubcollectionnamedfn_ternarychristchurchloca ***HERE*** tion_underspecified33f34df1_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_christchurch,c_location_underspecified,s_33f34df1_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(tptp_8_89(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_terrorist,c_hasmembers,c_terroristgroup)),true,subcollectionofwithrelationfromtypefnterroristhasm ***HERE*** embersterroristgroup(X),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(subcollectionofwithrelationfromtypefnterroristhasm ***HERE*** embersterroristgroup(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_terrorist,c_hasmembers,c_terroristgroup)),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(isa(X,c_haveoccupationtypeinindustrytypenuclearindustrys ***HERE*** ecurityguard),true,haveoccupationtypeinindustrytypenuclearindustrysecurityguard(X),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(haveoccupationtypeinindustrytypenuclearindustrysec ***HERE*** urityguard(X),true,isa(X,c_haveoccupationtypeinindustrytypenuclearindustrysecurityguard),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(isa(X,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(X),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 7.55/7.91 ERROR, name expected:
% 7.55/7.91
% 7.55/7.91
% 7.55/7.91 ifeq4(subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(X),true,isa(X,f_subcollectionofwithrelationtofn(c_ship,c_objectfoundinlocation,c_cityofbostonma)),true) = true.
% 7.55/7.91
% 7.55/7.91 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(tptp_9_51(ARG1,INS),true,subcollectionofwithrelationtofnshipobjectfoundinlo ***HERE*** cationcityofbostonma(INS),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(isa(X,f_collectionintersection2fn(c_srilankanperson,c_militaryperson)),true,collectionintersection2fnsrilankanpersonmilitarype ***HERE*** rson(X),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(collectionintersection2fnsrilankanpersonmilitarype ***HERE*** rson(X),true,isa(X,f_collectionintersection2fn(c_srilankanperson,c_militaryperson)),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(isa(X,f_subcollectionofwithrelationtofn(c_terrorist,c_birthplace,c_singapore)),true,subcollectionofwithrelationtofnterroristbirthplace ***HERE*** singapore(X),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(subcollectionofwithrelationtofnterroristbirthplace ***HERE*** singapore(X),true,isa(X,f_subcollectionofwithrelationtofn(c_terrorist,c_birthplace,c_singapore)),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(isa(X,f_propersubcollectionnamedfn_ternary(s_repairshop,c_location_underspecified,s_33d76185_f4ed_11d9_9bea_0002b3a85b0b)),true,propersubcollectionnamedfn_ternaryrepairshoplocati ***HERE*** on_underspecified33d76185_f4ed_11d9_9bea_0002b3a85b0b(X),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(propersubcollectionnamedfn_ternaryrepairshoplocati ***HERE*** on_underspecified33d76185_f4ed_11d9_9bea_0002b3a85b0b(X),true,isa(X,f_propersubcollectionnamedfn_ternary(s_repairshop,c_location_underspecified,s_33d76185_f4ed_11d9_9bea_0002b3a85b0b)),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(tptp_7_78(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(isa(X,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(X),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(X),true,isa(X,f_subcollectionofwithrelationfromtypefn(c_unitvectorinterval,c_directionoftranslation_throughout,c_movement_translationevent)),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(tptp_8_875(INS,ARG2),true,subcollectionofwithrelationfromtypefnunitvectorint ***HERE*** ervaldirectionoftranslation_throughoutmovement_translationevent(INS),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(isa(X,f_subcollectionofwithrelationfromfn(c_building,c_operatesfacilities,c_europeanunion)),true,subcollectionofwithrelationfromfnbuildingoperatesf ***HERE*** acilitieseuropeanunion(X),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(subcollectionofwithrelationfromfnbuildingoperatesf ***HERE*** acilitieseuropeanunion(X),true,isa(X,f_subcollectionofwithrelationfromfn(c_building,c_operatesfacilities,c_europeanunion)),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(isa(X,f_subcollectionofwithrelationtotypefn(c_issuingaprescription,c_products,c_correctivelensprescription)),true,subcollectionofwithrelationtotypefnissuingaprescri ***HERE*** ptionproductscorrectivelensprescription(X),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(subcollectionofwithrelationtotypefnissuingaprescri ***HERE*** ptionproductscorrectivelensprescription(X),true,isa(X,f_subcollectionofwithrelationtotypefn(c_issuingaprescription,c_products,c_correctivelensprescription)),true) = true.
% 8.05/8.36
% 8.05/8.36 ERROR, name too big, max is 50;
% 8.05/8.36 ERROR, name expected:
% 8.05/8.36
% 8.05/8.36
% 8.05/8.36 ifeq4(tptp_8_968(ARG1,INS),tr
% 8.05/8.36
% 8.05/8.36 ********** ABNORMAL END **********
% 8.05/8.36 ********** auto_lex_order, too many symbols.
% 8.05/8.36 ue,subcollectionofwithrelationtotypefnissuingaprescri ***HERE*** ptionproductscorrectivelensprescription(INS),true) = true.
% 8.05/8.36
% 8.05/8.36 ------------- memory usage ------------
% 8.05/8.36 Memory dynamically allocated (tp_alloc): 2441.
% 8.05/8.36 type (bytes each) gets frees in use avail bytes
% 8.05/8.36 sym_ent ( 96) 4530 0 4530 0 424.7 K
% 8.05/8.36 term ( 16) 191405 127180 64225 11 1224.3 K
% 8.05/8.36 gen_ptr ( 8) 49348 49023 325 7447 60.7 K
% 8.05/8.36 context ( 808) 0 0 0 0 0.0 K
% 8.05/8.36 trail ( 12) 0 0 0 0 0.0 K
% 8.05/8.36 bt_node ( 68) 0 0 0 0 0.0 K
% 8.05/8.36 ac_position (285432) 0 0 0 0 0.0 K
% 8.05/8.36 ac_match_pos (14044) 0 0 0 0 0.0 K
% 8.05/8.36 ac_match_free_vars_pos (4020)
% 8.05/8.36 0 0 0 0 0.0 K
% 8.05/8.36 discrim ( 12) 3 0 3 0 0.0 K
% 8.05/8.36 flat ( 40) 0 0 0 0 0.0 K
% 8.05/8.36 discrim_pos ( 12) 0 0 0 0 0.0 K
% 8.05/8.36 fpa_head ( 12) 0 0 0 0 0.0 K
% 8.05/8.36 fpa_tree ( 28) 0 0 0 0 0.0 K
% 8.05/8.36 fpa_pos ( 36) 0 0 0 0 0.0 K
% 8.05/8.36 literal ( 12) 7445 0 7445 0 87.2 K
% 8.05/8.36 clause ( 24) 7445 0 7445 0 174.5 K
% 8.05/8.36 list ( 12) 56 0 56 0 0.7 K
% 8.05/8.36 list_pos ( 20) 7445 0 7445 0 145.4 K
% 8.05/8.36 pair_index ( 40) 2 0 2 0 0.1 K
% 8.05/8.36
% 8.05/8.36 -------------- statistics -------------
% 8.05/8.36 Clauses input 0
% 8.05/8.36 Usable input 0
% 8.05/8.36 Sos input 0
% 8.05/8.36 Demodulators input 0
% 8.05/8.36 Passive input 0
% 8.05/8.36
% 8.05/8.36 Processed BS (before search) 0
% 8.05/8.36 Forward subsumed BS 0
% 8.05/8.36 Kept BS 0
% 8.05/8.36 New demodulators BS 0
% 8.05/8.36 Back demodulated BS 0
% 8.05/8.36
% 8.05/8.36 Clauses or pairs given 0
% 8.05/8.36 Clauses generated 0
% 8.05/8.36 Forward subsumed 0
% 8.05/8.36 Deleted by weight 0
% 8.05/8.36 Deleted by variable count 0
% 8.05/8.36 Kept 0
% 8.05/8.36 New demodulators 0
% 8.05/8.36 Back demodulated 0
% 8.05/8.36 Ordered paramod prunes 0
% 8.05/8.36 Basic paramod prunes 0
% 8.05/8.36 Prime paramod prunes 0
% 8.05/8.36 Semantic prunes 0
% 8.05/8.36
% 8.05/8.36 Rewrite attmepts 0
% 8.05/8.36 Rewrites 0
% 8.05/8.36
% 8.05/8.36 FPA overloads 0
% 8.05/8.36 FPA underloads 0
% 8.05/8.36
% 8.05/8.36 Usable size 0
% 8.05/8.36 Sos size 0
% 8.05/8.36 Demodulators size 0
% 8.05/8.36 Passive size 0
% 8.05/8.36 Disabled size 0
% 8.05/8.36
% 8.05/8.36 Proofs found 0
% 8.05/8.36
% 8.05/8.36 ----------- times (seconds) ----------- Sat Jun 11 16:00:01 2022
% 8.05/8.36
% 8.05/8.36 user CPU time 6.09 (0 hr, 0 min, 6 sec)
% 8.05/8.36 system CPU time 0.00 (0 hr, 0 min, 0 sec)
% 8.05/8.36 wall-clock time 6 (0 hr, 0 min, 6 sec)
% 8.05/8.36 input time 6.09
% 8.05/8.36 paramodulation time 0.00
% 8.05/8.36 demodulation time 0.00
% 8.05/8.36 orient time 0.00
% 8.05/8.36 weigh time 0.00
% 8.05/8.36 forward subsume time 0.00
% 8.05/8.36 back demod find time 0.00
% 8.05/8.36 conflict time 0.00
% 8.05/8.36 LRPO time 0.00
% 8.05/8.36 store clause time 0.00
% 8.05/8.36 disable clause time 0.00
% 8.05/8.36 prime paramod time 0.00
% 8.05/8.36 semantics time 0.00
% 8.05/8.36
% 8.05/8.36 EQP interrupted
%------------------------------------------------------------------------------