TSTP Solution File: CSR089+5 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : CSR089+5 : TPTP v8.1.0. Bugfixed v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n026.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 23:22:22 EDT 2022
% Result : Unknown 18.94s 19.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR089+5 : TPTP v8.1.0. Bugfixed v7.3.0.
% 0.13/0.13 % Command : sos-script %s
% 0.14/0.34 % Computer : n026.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Fri Jun 10 07:10:33 EDT 2022
% 0.14/0.34 % CPUTime :
% 2.78/2.97 ----- Otter 3.2, August 2001 -----
% 2.78/2.97 The process was started by sandbox2 on n026.cluster.edu,
% 2.78/2.97 Fri Jun 10 07:10:36 2022
% 2.78/2.97 The command was "./sos". The process ID is 12889.
% 2.78/2.97
% 2.78/2.97 set(prolog_style_variables).
% 2.78/2.97 set(auto).
% 2.78/2.97 dependent: set(auto1).
% 2.78/2.97 dependent: set(process_input).
% 2.78/2.97 dependent: clear(print_kept).
% 2.78/2.97 dependent: clear(print_new_demod).
% 2.78/2.97 dependent: clear(print_back_demod).
% 2.78/2.97 dependent: clear(print_back_sub).
% 2.78/2.97 dependent: set(control_memory).
% 2.78/2.97 dependent: assign(max_mem, 12000).
% 2.78/2.97 dependent: assign(pick_given_ratio, 4).
% 2.78/2.97 dependent: assign(stats_level, 1).
% 2.78/2.97 dependent: assign(pick_semantic_ratio, 3).
% 2.78/2.97 dependent: assign(sos_limit, 5000).
% 2.78/2.97 dependent: assign(max_weight, 60).
% 2.78/2.97 clear(print_given).
% 2.78/2.97
% 2.78/2.97 formula_list(usable).
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__instance__m,s__EnglishLanguage,'An object is an &
% 2.78/2.97 ***HERE***
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__subrelation__m,s__EnglishLanguage,'(&
% 2.78/2.97 ***HERE*** & - ( =(V__CLASS1,V__CLASS3) ) ) ) ) ) ) ) ) ).
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__domain__m,s__EnglishLanguage,'Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (&
% 2.78/2.97 ***HERE***
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__documentation__m,s__EnglishLanguage,'A relation between objects in the domain of discourse and strings of natural language text stated in a particular &
% 2.78/2.97 ***HERE*** | s__subclass(V__CLASS2,V__CLASS1) ) ) ) ) ).
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__exhaustiveAttribute__m,s__EnglishLanguage,'This predicate relates a &
% 2.78/2.97 ***HERE*** & =(V__ATTR2,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER2))
% 2.78/2.97 & - ( =(V__NUMBER1,V__NUMBER2) ) )
% 2.78/2.97 -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.97 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__exhaustiveDecomposition__m,s__EnglishLanguage,'An &
% 2.78/2.97 ***HERE*** ( s__instance(V__NUMBER,s__PositiveInteger)
% 2.78/2.97 & =(V__EL,V__ATTR)
% 2.78/2.97 & =(V__ATTR,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER)) ) ) ) ) ) ) ) ) ) ) ) ).
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__relatedInternalConcept__m,s__EnglishLanguage,'Means that the two arguments are related concepts within the SUMO, i.e. there is a significant similarity of meaning between them. To indicate a meaning relation between a SUMO concept and a concept from another source, use the Predicate &
% 2.78/2.97 ***HERE*** ( s__instance(V__NUMBER,s__PositiveInteger)
% 2.78/2.97 & =(V__EL,V__ATTR)
% 2.78/2.97 & =(V__ATTR,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER)) ) ) ) ) ) ) ) ) ) ) ) ).
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__Object,s__EnglishLanguage,'Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of &
% 2.78/2.97 ***HERE*** & =(V__EL,V__ATTR)
% 2.78/2.97 & =(V__ATTR,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER)) ) ) ) ) ) ) ) ) ) ) ) ).
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__OrganicThing,s__EnglishLanguage,'A &
% 2.78/2.97 ***HERE*** & =(V__EL,V__ATTR)
% 2.78/2.97 & =(V__ATTR,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER)) ) ) ) ) ) ) ) ) ) ) ) ).
% 2.78/2.97
% 2.78/2.97 ERROR, name too big, max is 255;
% 2.78/2.97 ERROR, name expected:
% 2.78/2.97
% 2.78/2.97
% 2.78/2.97 s__documentation(s__FrontFn__m,s__EnglishLanguage,'A &
% 2.78/2.97 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.97 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.97
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__BackFn__m,s__EnglishLanguage,'A &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__part__m,s__EnglishLanguage,'The basic mereological relation. All other mereological relations are defined in terms of this one. (&
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__component__m,s__EnglishLanguage,'A specialized common sense notion of part for heterogeneous parts of complexes. (&
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__material__m,s__EnglishLanguage,'(&
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__contains__m,s__EnglishLanguage,'The relation of spatial containment for two separable objects. When the two objects are not separable (e.g. an automobile and one of its seats), the relation of &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__Substance,s__EnglishLanguage,'An &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__PureSubstance,s__EnglishLanguage,'The &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__ElementalSubstance,s__EnglishLanguage,'The &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__CompoundSubstance,s__EnglishLanguage,'The &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__Mixture,s__EnglishLanguage,'A &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__Region,s__EnglishLanguage,'A topographic location. &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__Collection,s__EnglishLanguage,'Collections have &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__ContentBearingObject,s__EnglishLanguage,'Any &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__Character,s__EnglishLanguage,'An element of an alphabet, a set of numerals, etc. Note that a &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__containsInformation__m,s__EnglishLanguage,'A subrelation of &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/2.98
% 2.78/2.98 ERROR, name too big, max is 255;
% 2.78/2.98 ERROR, name expected:
% 2.78/2.98
% 2.78/2.98
% 2.78/2.98 s__documentation(s__Icon,s__EnglishLanguage,'This is the subclass of &
% 2.78/2.98 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/2.98 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__ConstructedLanguage,s__EnglishLanguage,'An &
% 2.78/3.03 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/3.03 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__NaturalLanguage,s__EnglishLanguage,'The &
% 2.78/3.03 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/3.03 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__SentientAgent,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/3.03 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__CognitiveAgent,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/3.03 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__LegalAgent,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/3.03 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__Process,s__EnglishLanguage,'The class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like &
% 2.78/3.03 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/3.03 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__Abstract,s__EnglishLanguage,'Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exis ***HERE*** t at a particular place and time without some physical encoding or embodiment.').
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__manner__m,s__EnglishLanguage,'(&
% 2.78/3.03 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 2.78/3.03 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__PhysicalQuantity,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__ConstantQuantity,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__TimePoint,s__EnglishLanguage,'An extensionless point on the universal timeline. The &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__FunctionQuantity,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__TimeDependentQuantity,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__Class,s__EnglishLanguage,'&
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__Set,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__Relation,s__EnglishLanguage,'The &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__SingleValuedRelation,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__TotalValuedRelation,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE***
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__PartialValuedRelation,s__EnglishLanguage,'A &
% 2.78/3.03 ***HERE*** -> ( exists V__ITEM (
% 2.78/3.03 ( s__instance(V__ITEM,s__CurrencyMeasure)
% 2.78/3.03 & s__instance(V__VALENCE,s__Quantity)
% 2.78/3.03 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 2.78/3.03
% 2.78/3.03 ERROR, name too big, max is 255;
% 2.78/3.03 ERROR, name expected:
% 2.78/3.03
% 2.78/3.03
% 2.78/3.03 s__documentation(s__AntisymmetricRelation,s__EnglishLanguage,'&
% 2.78/3.03 ***HERE*** -> ( exists V__ITEM (
% 3.31/3.50 ( s__instance(V__ITEM,s__CurrencyMeasure)
% 3.31/3.50 & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__destination__m,s__EnglishLanguage,'(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general &
% 3.31/3.50 ***HERE*** ( s__instance(V__ITEM,s__CurrencyMeasure)
% 3.31/3.50 & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__experiencer__m,s__EnglishLanguage,'(&
% 3.31/3.50 ***HERE*** ( s__instance(V__ITEM,s__CurrencyMeasure)
% 3.31/3.50 & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__instrument__m,s__EnglishLanguage,'(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an &
% 3.31/3.50 ***HERE*** ( s__instance(V__ITEM,s__CurrencyMeasure)
% 3.31/3.50 & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__origin__m,s__EnglishLanguage,'(&
% 3.31/3.50 ***HERE*** ( s__instance(V__ITEM,s__CurrencyMeasure)
% 3.31/3.50 & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__patient__m,s__EnglishLanguage,'(&
% 3.31/3.50 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__resource__m,s__EnglishLanguage,'(&
% 3.31/3.50 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__conditionalProbability__m,s__EnglishLanguage,'One of the basic &
% 3.31/3.50 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__inScopeOfInterest__m,s__EnglishLanguage,'A very general &
% 3.31/3.50 ***HERE*** -> =(V__NUMBER2,V__NUMBER1) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__desires__m,s__EnglishLanguage,'(&
% 3.31/3.50 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__knows__m,s__EnglishLanguage,'The epistemic predicate of knowing. (&
% 3.31/3.50 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__List,s__EnglishLanguage,'Every &
% 3.31/3.50 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 3.31/3.50 & s__transactionAmount(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__ListConcatenateFn__m,s__EnglishLanguage,'A &
% 3.31/3.50 ***HERE*** ( s__instance(V__LIST2,s__List)
% 3.31/3.50 & s__initialList(V__LIST1,V__LIST2)
% 3.31/3.50 & =(s__SuccessorFn(V__NUMBER),s__ListLengthFn(V__LIST2))
% 3.31/3.50 & =(s__ListOrderFn(V__LIST2,s__SuccessorFn(V__NUMBER)),V__ITEM) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.31/3.50 s__documentation(s__subList__m,s__EnglishLanguage,'(&
% 3.31/3.50 ***HERE*** -> s__disjoint(V__ITEM1,V__ITEM2) ) ) ) ) ) ) ).
% 3.31/3.50
% 3.31/3.50 ERROR, name too big, max is 255;
% 3.31/3.50 ERROR, name expected:
% 3.31/3.50
% 3.31/3.50
% 3.79/3.96 s__documentation(s__Predicate,s__EnglishLanguage,'A &
% 3.79/3.96 ***HERE*** -> =(s__ListOrderFn(V__LIST1,V__NUMBER2),s__ListOrderFn(V__LIST2,V__NUMBER2)) ) ) ) ) ) ) ).
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__Function,s__EnglishLanguage,'A &
% 3.79/3.96 ***HERE*** -> =(s__ListOrderFn(V__LIST1,V__NUMBER2),s__ListOrderFn(V__LIST2,V__NUMBER2)) ) ) ) ) ) ) ).
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__AssociativeFunction,s__EnglishLanguage,'A &
% 3.79/3.96 ***HERE*** -> =(s__ListOrderFn(V__LIST1,V__NUMBER2),s__ListOrderFn(V__LIST2,V__NUMBER2)) ) ) ) ) ) ) ).
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__CommutativeFunction,s__EnglishLanguage,'A &
% 3.79/3.96 ***HERE*** -> =(s__AssignmentFn_3(V__FUNCTION,V__INST1,s__AssignmentFn_3(V__FUNCTION,V__INST2,V__INST3)),s__AssignmentFn_3(V__FUNCTION,s__AssignmentFn_3(V__FUNCTION,V__INST1,V__INST2),V__INST3)) ) ) ) ) ) ) ).
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__RelationExtendedToQuantities,s__EnglishLanguage,'A &
% 3.79/3.96 ***HERE***
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__Proposition,s__EnglishLanguage,'&
% 3.79/3.96 ***HERE***
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__distributes__m,s__EnglishLanguage,'A &
% 3.79/3.96 ***HERE***
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__relatedEvent__m,s__EnglishLanguage,'(relatedEvent ?EVENT1 ?EVENT2) means that the &
% 3.79/3.96 ***HERE*** & s__instance(V__INST1,V__CLASS1)
% 3.79/3.96 & s__instance(V__INST2,V__CLASS1)
% 3.79/3.96 & s__instance(V__INST3,V__CLASS1)
% 3.79/3.96 & s__domain(V__FUNCTION2,"1",V__CLASS2)
% 3.79/3.96 & s__instance(V__INST1,V__CLASS2)
% 3.79/3.96 & s__instance(V__INST2,V__CLASS2)
% 3.79/3.96 & s__instance(V__INST3,V__CLASS2) )
% 3.79/3.96 -> =(s__AssignmentFn_3(V__FUNCTION1,V__INST1,s__AssignmentFn_3(V__FUNCTION2,V__INST2,V__INST3)),s__AssignmentFn_3(V__FUNCTION2,s__AssignmentFn_3(V__FUNCTION1,V__INST1,V__INST2),s__AssignmentFn_3(V__FUNCTION1,V__INST1,V__INST3))) ) ) ) ) ) ) ).
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__causesProposition__m,s__EnglishLanguage,'(&
% 3.79/3.96 ***HERE*** & s__instance(V__INST3,V__CLASS2) )
% 3.79/3.96 -> =(s__AssignmentFn_3(V__FUNCTION1,V__INST1,s__AssignmentFn_3(V__FUNCTION2,V__INST2,V__INST3)),s__AssignmentFn_3(V__FUNCTION2,s__AssignmentFn_3(V__FUNCTION1,V__INST1,V__INST2),s__AssignmentFn_3(V__FUNCTION1,V__INST1,V__INST3))) ) ) ) ) ) ) ).
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__time__m,s__EnglishLanguage,'This relation holds between an instance of &
% 3.79/3.96 ***HERE*** & s__instance(V__INST3,V__CLASS2) )
% 3.79/3.96 -> =(s__AssignmentFn_3(V__FUNCTION1,V__INST1,s__AssignmentFn_3(V__FUNCTION2,V__INST2,V__INST3)),s__AssignmentFn_3(V__FUNCTION2,s__AssignmentFn_3(V__FUNCTION1,V__INST1,V__INST2),s__AssignmentFn_3(V__FUNCTION1,V__INST1,V__INST3))) ) ) ) ) ) ) ).
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__hasPurpose__m,s__EnglishLanguage,'This &
% 3.79/3.96 ***HERE***
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__hasPurposeForAgent__m,s__EnglishLanguage,'Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (&
% 3.79/3.96 ***HERE***
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__partlyLocated__m,s__EnglishLanguage,'(&
% 3.79/3.96 ***HERE***
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__betweenOnPath__m,s__EnglishLanguage,'(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 on the path ?PATH. Note that this is a more specialized relation of between since any object that is between others with respect to a particular path is ***HERE*** also simply between them.').
% 3.79/3.96
% 3.79/3.96 ERROR, name too big, max is 255;
% 3.79/3.96 ERROR, name expected:
% 3.79/3.96
% 3.79/3.96
% 3.79/3.96 s__documentation(s__inhibits__m,s__EnglishLanguage,'A very general &
% 3.79/3.96 ***HERE***
% 3.79/3.96
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__prevents__m,s__EnglishLanguage,'A very general &
% 3.90/4.07 ***HERE***
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__refers__m,s__EnglishLanguage,'(&
% 3.90/4.07 ***HERE***
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__names__m,s__EnglishLanguage,'(&
% 3.90/4.07 ***HERE***
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__represents__m,s__EnglishLanguage,'A very general semiotics &
% 3.90/4.07 ***HERE***
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__equivalentContentClass__m,s__EnglishLanguage,'A &
% 3.90/4.07 ***HERE***
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__subsumesContentClass__m,s__EnglishLanguage,'A &
% 3.90/4.07 ***HERE***
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__equivalentContentInstance__m,s__EnglishLanguage,'A &
% 3.90/4.07 ***HERE*** ( s__instance(V__OBJ1,s__ContentBearingPhysical)
% 3.90/4.07 & s__instance(V__OBJ1,V__CLASS1)
% 3.90/4.07 & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__subsumesContentInstance__m,s__EnglishLanguage,'A &
% 3.90/4.07 ***HERE*** & s__instance(V__OBJ1,V__CLASS1)
% 3.90/4.07 & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__realization__m,s__EnglishLanguage,'A subrelation of &
% 3.90/4.07 ***HERE*** & s__instance(V__OBJ1,V__CLASS1)
% 3.90/4.07 & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(minus__m,s__EnglishLanguage,'If ?NUMBER1 and ?NUMBER2 are &
% 3.90/4.07 ***HERE*** & s__containsInformation(V__OBJ2,V__PROP2) )
% 3.90/4.07 -> s__subsumesContentInstance(V__OBJ2,V__OBJ1) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(divide__m,s__EnglishLanguage,'If ?NUMBER1 and ?NUMBER2 are &
% 3.90/4.07 ***HERE*** & s__containsInformation(V__OBJ2,V__PROP2) )
% 3.90/4.07 -> s__subsumesContentInstance(V__OBJ2,V__OBJ1) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__ReciprocalFn__m,s__EnglishLanguage,'(ReciprocalFn ?NUMBER) is the reciprocal element of ?NUMBER with respect to the multiplication operator (&
% 3.90/4.07 ***HERE*** -> =(s__RemainderFn(V__LESS,V__ELEMENT),"0") ) ) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__average__m,s__EnglishLanguage,'A partial function that relates a &
% 3.90/4.07 ***HERE*** -> =(s__RemainderFn(V__LESS,V__ELEMENT),"0") ) ) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__GeneralizedUnionFn__m,s__EnglishLanguage,'A &
% 3.90/4.07 ***HERE*** & s__instance(V__I2,V__U)
% 3.90/4.07 & ( s__instance(V__I3,V__C1)
% 3.90/4.07 | s__instance(V__I3,V__C2) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__GeneralizedIntersectionFn__m,s__EnglishLanguage,'A &
% 3.90/4.07 ***HERE*** & ( s__instance(V__I3,V__C1)
% 3.90/4.07 | s__instance(V__I3,V__C2) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__KappaFn__m,s__EnglishLanguage,'A class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying &
% 3.90/4.07 ***HERE*** & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__Graph,s__EnglishLanguage,'The &
% 3.90/4.07 ***HERE*** & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 3.90/4.07
% 3.90/4.07 ERROR, name too big, max is 255;
% 3.90/4.07 ERROR, name expected:
% 3.90/4.07
% 3.90/4.07
% 3.90/4.07 s__documentation(s__GraphPath,s__EnglishLanguage,'Informally, a single, directed route between two &
% 3.90/4.07 ***HERE*** & s__graphPart(V__NODE,V__GRAPH)
% 3.90/4.07 & =(s__TerminalNodeFn(V__ARC1),V__NODE)
% 3.98/4.17 & =(s__TerminalNodeFn(V__ARC2),V__NODE)
% 3.98/4.17 & - ( =(V__ARC1,V__ARC2) ) ) ) ) ) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__BeginNodeFn__m,s__EnglishLanguage,'A &
% 3.98/4.17 ***HERE*** & s__graphPart(V__ARC1,V__GRAPH)
% 3.98/4.17 & s__graphPart(V__ARC2,V__GRAPH)
% 3.98/4.17 & s__graphPart(V__NODE1,V__GRAPH)
% 3.98/4.17 & s__graphPart(V__NODE2,V__GRAPH)
% 3.98/4.17 & s__links(V__NODE1,V__NODE2,V__ARC1)
% 3.98/4.17 & s__links(V__NODE1,V__NODE2,V__ARC2)
% 3.98/4.17 & - ( =(V__ARC1,V__ARC2) ) ) ) ) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__abstractCounterpart__m,s__EnglishLanguage,'(abstractCounterpart ?AB ?PHYS relates a &
% 3.98/4.17 ***HERE*** & s__instance(V__PATH2,s__MinimalCutSetFn(V__GRAPH))
% 3.98/4.17 & s__pathLength(V__PATH1,V__NUMBER1)
% 3.98/4.17 & s__pathLength(V__PATH2,V__NUMBER2)
% 3.98/4.17 & less(V__NUMBER1,V__NUMBER2) ) ) ) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__UnitOfMeasure,s__EnglishLanguage,'A standard of measurement for some dimension. For example, the &
% 3.98/4.17 ***HERE*** & s__abstractCounterpart(V__AA,V__PA)
% 3.98/4.17 & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 3.98/4.17 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__IntervalFn__m,s__EnglishLanguage,'A &
% 3.98/4.17 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 3.98/4.17 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__MagnitudeFn__m,s__EnglishLanguage,'The magnitude of a &
% 3.98/4.17 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 3.98/4.17 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__PerFn__m,s__EnglishLanguage,'&
% 3.98/4.17 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 3.98/4.17 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__DensityFn__m,s__EnglishLanguage,'&
% 3.98/4.17 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 3.98/4.17 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__SpeedFn__m,s__EnglishLanguage,'Maps an instance of &
% 3.98/4.17 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 3.98/4.17 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__VelocityFn__m,s__EnglishLanguage,'Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (&
% 3.98/4.17 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 3.98/4.17 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__SecondDuration,s__EnglishLanguage,'SI &
% 3.98/4.17 ***HERE*** -> s__measure(V__OBJECT,s__SpeedFn(V__DISTANCE,V__TIME)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__Ampere,s__EnglishLanguage,'SI electric current measure. Symbol: A. It is one of the base units in SI. It is defined as follows: the &
% 3.98/4.17 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 3.98/4.17 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__KelvinDegree,s__EnglishLanguage,'SI &
% 3.98/4.17 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__Mole,s__EnglishLanguage,'SI amount of substance unit. symbol: mol. It is one of the base units in SI. It is defined as follows: the &
% 3.98/4.17 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 3.98/4.17
% 3.98/4.17 ERROR, name too big, max is 255;
% 3.98/4.17 ERROR, name expected:
% 3.98/4.17
% 3.98/4.17
% 3.98/4.17 s__documentation(s__Candela,s__EnglishLanguage,'SI luminosity intensity measure. Symbol: cd. It is one of the base units in SI, and it is currently defined as follows: the &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Radian,s__EnglishLanguage,'SI plane angle measure. Symbol: rad. It is the angle of a circle subtended by an arc equal in length to the circles radius. Another definition is: the plane angle between two radii of a circle which cut off on the circumference an arc equal in length to t ***HERE*** he radius. &
% 4.07/4.24 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Steradian,s__EnglishLanguage,'SI solid angle measure. Symbol: sr. It is the solid angle of a sphere subtended by a portion of the surface whose area is equal to the square of the spheres radius. Another definition is: the solid angle which, having its vertex in the center of the spher ***HERE*** e, cuts off an area of the surface of the sphere equal to that of a square with sides of length equal to the radius of the sphere. &
% 4.07/4.24 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Watt,s__EnglishLanguage,'SI power measure. Symbol: W. A &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Volt,s__EnglishLanguage,'SI electric potential measure. Symbol: V. It is the difference of electric potential between two points of a conducting wire carrying a constant current of 1 &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Farad,s__EnglishLanguage,'SI capacitance measure. Symbol: F. It is the capacitance of a capacitator between the plates of which there appears a difference of potential of 1 &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Ohm,s__EnglishLanguage,'SI electric resistance measure. It is the electric resistance between two points of a conductor when a constant difference of potential of 1 &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Siemens,s__EnglishLanguage,'SI electric conductance measure. Symbol: S. In the case of direct current, the conductance in &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Henry,s__EnglishLanguage,'SI inductance measure. Symbol: H. One &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Lux,s__EnglishLanguage,'SI illuminance measure. Symbol: lx. It is the amount of illumination provided when one &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Gray,s__EnglishLanguage,'SI absorbed dose measure. Symbol: Gy. It measures the dose of radiation absorbed in living tissue. It is equal approximately to the absorbed dose delivered when the energy per unit mass imparted to matter by ionizing radiation is 1 &
% 4.07/4.24 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__Sievert,s__EnglishLanguage,'SI dose equivalent measure. Symbol: Sv. It is a unit of biologic dose of ionizing radiation. The &
% 4.07/4.24 ***HERE***
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__AtomGram,s__EnglishLanguage,'&
% 4.07/4.24 ***HERE***
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__linearExtent__m,s__EnglishLanguage,'&
% 4.07/4.24 ***HERE***
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__distance__m,s__EnglishLanguage,'(&
% 4.07/4.24 ***HERE***
% 4.07/4.24
% 4.07/4.24 ERROR, name too big, max is 255;
% 4.07/4.24 ERROR, name expected:
% 4.07/4.24
% 4.07/4.24
% 4.07/4.24 s__documentation(s__altitude__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__depth__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__WealthFn__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE*** & s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT))
% 4.33/4.53 & s__instance(V__UNIT,s__UnitOfLength) )
% 4.33/4.53 -> greater(V__QUANT1,V__QUANT2) ) ) ) ) ) ) ).
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__barometricPressure__m,s__EnglishLanguage,'(&
% 4.33/4.53 ***HERE*** & s__instance(V__UNIT,s__UnitOfLength) )
% 4.33/4.53 -> greater(V__QUANT1,V__QUANT2) ) ) ) ) ) ) ).
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__temporalPart__m,s__EnglishLanguage,'The temporal analogue of the spatial &
% 4.33/4.53 ***HERE*** ( s__temporalPart(V__POSITION,V__TIME2)
% 4.33/4.53 & s__holdsDuring(V__POSITION,'(? [V__INST] : (s__instance(V__POSITION,s__TimePosition) & s__instance(V__INST,V__PROC)))') ) ) ) ) ) ) ) ) ) ).
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__cooccur__m,s__EnglishLanguage,'(&
% 4.33/4.53 ***HERE*** & s__temporalPart(V__INTERVAL3,V__INTERVAL2) ) ) ) ) ) ) ).
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__RecurrentTimeIntervalFn__m,s__EnglishLanguage,'A function that is useful for generating recurring time intervals. For example, (&
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__YearFn__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__MonthFn__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__DayFn__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__HourFn__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__MinuteFn__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__SecondFn__m,s__EnglishLanguage,'A &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__TemporalCompositionFn__m,s__EnglishLanguage,'The basic &
% 4.33/4.53 ***HERE*** -> s__meetsTemporally(V__DAY1,V__DAY2) ) ) ) ).
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__superficialPart__m,s__EnglishLanguage,'(&
% 4.33/4.53 ***HERE*** & s__temporalPart(V__TIME,V__INTERVAL) )
% 4.33/4.53 -> ( exists V__INSTANCE (
% 4.33/4.53 ( s__instance(V__INSTANCE,s__TimePosition)
% 4.33/4.53 & s__instance(V__INSTANCE,V__CLASS)
% 4.33/4.53 & s__temporalPart(V__TIME,V__INSTANCE) ) ) ) ) ) ) ) ) ) ).
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, name expected:
% 4.33/4.53
% 4.33/4.53
% 4.33/4.53 s__documentation(s__Hole,s__EnglishLanguage,'A hole is an immaterial body located at the surface of an &
% 4.33/4.53 ***HERE***
% 4.33/4.53
% 4.33/4.53 ERROR, name too big, max is 255;
% 4.33/4.53 ERROR, the 4 terms/operators in the following sequence are OK, but they
% 4.33/4.53 could not be combined into a single term with special operators.
% 4.33/4.53 it
% 4.33/4.53 may
% 4.33/4.53 stick
% 4.33/4.53 out
% 4.67/4.84
% 4.67/4.84 The context of the bad sequence is:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__partiallyFills__m,s__EnglishLanguage,'(&
% 4.67/4.84 ***HERE***
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__properlyFills__m,s__EnglishLanguage,'(&
% 4.67/4.84 ***HERE***
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__completelyFills__m,s__EnglishLanguage,'(&
% 4.67/4.84 ***HERE***
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__fills__m,s__EnglishLanguage,'Holes can be filled. (&
% 4.67/4.84 ***HERE***
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__PathologicProcess,s__EnglishLanguage,'A disordered process, activity, or state of the &
% 4.67/4.84 ***HERE***
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__IntentionalPsychologicalProcess,s__EnglishLanguage,'An &
% 4.67/4.84 ***HERE***
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__RecreationOrExercise,s__EnglishLanguage,'A &
% 4.67/4.84 ***HERE***
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__JudicialProcess,s__EnglishLanguage,'Any legal proceeding which is conducted by a &
% 4.67/4.84 ***HERE*** & ( s__agent(V__PROC,V__POL)
% 4.67/4.84 | s__patient(V__PROC,V__POL) ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__RegulatoryProcess,s__EnglishLanguage,'an &
% 4.67/4.84 ***HERE*** & ( s__agent(V__PROC,V__POL)
% 4.67/4.84 | s__patient(V__PROC,V__POL) ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__Managing,s__EnglishLanguage,'&
% 4.67/4.84 ***HERE*** & ( s__agent(V__PROC,V__POL)
% 4.67/4.84 | s__patient(V__PROC,V__POL) ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__Translocation,s__EnglishLanguage,'&
% 4.67/4.84 ***HERE*** & s__origin(V__REMOVE,V__PLACE)
% 4.67/4.84 & s__patient(V__PUT,V__OBJ2)
% 4.67/4.84 & s__destination(V__PUT,V__PLACE)
% 4.67/4.84 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__Funding,s__EnglishLanguage,'Any instance of &
% 4.67/4.84 ***HERE*** & s__patient(V__GET,V__OBJ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__Classifying,s__EnglishLanguage,'The &
% 4.67/4.84 ***HERE*** & s__instance(V__SELL,s__Selling)
% 4.67/4.84 & s__agent(V__SELL,V__AGENT2)
% 4.67/4.84 & s__destination(V__SELL,V__AGENT1)
% 4.67/4.84 & s__patient(V__SELL,V__OBJECT) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__Attaching,s__EnglishLanguage,'A &
% 4.67/4.84 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 4.67/4.84 & s__destination(V__GIVE1,V__AGENT2)
% 4.67/4.84 & s__destination(V__GIVE2,V__AGENT1)
% 4.67/4.84 & - ( =(V__AGENT1,V__AGENT2) )
% 4.67/4.84 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__Detaching,s__EnglishLanguage,'A &
% 4.67/4.84 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 4.67/4.84 & s__destination(V__GIVE1,V__AGENT2)
% 4.67/4.84 & s__destination(V__GIVE2,V__AGENT1)
% 4.67/4.84 & - ( =(V__AGENT1,V__AGENT2) )
% 4.67/4.84 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__Combining,s__EnglishLanguage,'A &
% 4.67/4.84 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 4.67/4.84 & s__destination(V__GIVE1,V__AGENT2)
% 4.67/4.84 & s__destination(V__GIVE2,V__AGENT1)
% 4.67/4.84 & - ( =(V__AGENT1,V__AGENT2) )
% 4.67/4.84 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__Separating,s__EnglishLanguage,'A &
% 4.67/4.84 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 4.67/4.84 & s__destination(V__GIVE1,V__AGENT2)
% 4.67/4.84 & s__destination(V__GIVE2,V__AGENT1)
% 4.67/4.84 & - ( =(V__AGENT1,V__AGENT2) )
% 4.67/4.84 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 4.67/4.84
% 4.67/4.84 ERROR, name too big, max is 255;
% 4.67/4.84 ERROR, name expected:
% 4.67/4.84
% 4.67/4.84
% 4.67/4.84 s__documentation(s__ChemicalProcess,s__EnglishLanguage,'A &
% 4.67/4.84 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 4.67/4.84 & s__destination(V__GIVE1,V__AGENT2)
% 4.91/5.07 & s__destination(V__GIVE2,V__AGENT1)
% 4.91/5.07 & - ( =(V__AGENT1,V__AGENT2) )
% 4.91/5.07 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__InternalChange,s__EnglishLanguage,'&
% 4.91/5.07 ***HERE*** & s__subProcess(V__LIGHT,V__COMBUSTION) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Pretending,s__EnglishLanguage,'Any &
% 4.91/5.07 ***HERE*** & - ( =(V__AGENT1,V__AGENT2) ) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Communication,s__EnglishLanguage,'A &
% 4.91/5.07 ***HERE*** & s__instance(V__LANGUAGE1,s__Language)
% 4.91/5.07 & s__representsInLanguage(V__EXPRESSION1,V__ENTITY,V__LANGUAGE1)
% 4.91/5.07 & s__representsInLanguage(V__EXPRESSION2,V__ENTITY,V__LANGUAGE2)
% 4.91/5.07 & - ( =(V__LANGUAGE1,V__LANGUAGE2) ) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Expressing,s__EnglishLanguage,'Instances of this &
% 4.91/5.07 ***HERE*** & s__representsInLanguage(V__EXPRESSION2,V__ENTITY,V__LANGUAGE2)
% 4.91/5.07 & - ( =(V__LANGUAGE1,V__LANGUAGE2) ) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Disagreeing,s__EnglishLanguage,'A &
% 4.91/5.07 ***HERE*** & s__representsInLanguage(V__EXPRESSION2,V__ENTITY,V__LANGUAGE2)
% 4.91/5.07 & - ( =(V__LANGUAGE1,V__LANGUAGE2) ) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Offering,s__EnglishLanguage,'The subclass of &
% 4.91/5.07 ***HERE*** & s__instance(V__STATE1,s__ContentBearingPhysical)
% 4.91/5.07 & s__instance(V__A2,s__Agent)
% 4.91/5.07 & s__instance(V__A1,s__Agent)
% 4.91/5.07 & s__subProcess(V__STATE1,V__DIS)
% 4.91/5.07 & s__subProcess(V__STATE2,V__DIS)
% 4.91/5.07 & s__agent(V__STATE1,V__A1)
% 4.91/5.07 & s__agent(V__STATE2,V__A2)
% 4.91/5.07 & s__containsInformation(V__STATE1,V__STMT1)
% 4.91/5.07 & s__containsInformation(V__STATE2,V__STMT2)
% 4.91/5.07 & -s__consistent(V__STMT1,V__STMT2) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Contest,s__EnglishLanguage,'A &
% 4.91/5.07 ***HERE*** & s__instance(V__A1,s__Agent)
% 4.91/5.07 & s__subProcess(V__STATE1,V__DIS)
% 4.91/5.07 & s__subProcess(V__STATE2,V__DIS)
% 4.91/5.07 & s__agent(V__STATE1,V__A1)
% 4.91/5.07 & s__agent(V__STATE2,V__A2)
% 4.91/5.07 & s__containsInformation(V__STATE1,V__STMT1)
% 4.91/5.07 & s__containsInformation(V__STATE2,V__STMT2)
% 4.91/5.07 & -s__consistent(V__STMT1,V__STMT2) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Battle,s__EnglishLanguage,'A &
% 4.91/5.07 ***HERE*** & s__instance(V__AGENT,s__Collection) )
% 4.91/5.07 -> ( s__member(V__MEMBER,V__AGENT)
% 4.91/5.07 -> s__instance(V__MEMBER,s__GeopoliticalArea) ) ) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Maneuver,s__EnglishLanguage,'An intentional move or play within a &
% 4.91/5.07 ***HERE*** & s__instance(V__AGENT,s__Collection) )
% 4.91/5.07 -> ( s__member(V__MEMBER,V__AGENT)
% 4.91/5.07 -> s__instance(V__MEMBER,s__GeopoliticalArea) ) ) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__TactilePerception,s__EnglishLanguage,'The &
% 4.91/5.07 ***HERE*** & s__instance(V__HUMAN,s__Human)
% 4.91/5.07 & s__capability(s__KappaFn(V__HEAR,'(s__instance(V__HEAR,s__Hearing) & s__agent(V__HEAR,V__HUMAN) & s__destination(V__HEAR,V__HUMAN) & s__origin(V__HEAR,V__OBJ))'),s__agent__m,V__HUMAN) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__Singing,s__EnglishLanguage,'&
% 4.91/5.07 ***HERE*** & s__capability(s__KappaFn(V__HEAR,'(s__instance(V__HEAR,s__Hearing) & s__agent(V__HEAR,V__HUMAN) & s__destination(V__HEAR,V__HUMAN) & s__origin(V__HEAR,V__OBJ))'),s__agent__m,V__HUMAN) ) ) ) ) ) ) ).
% 4.91/5.07
% 4.91/5.07 ERROR, name too big, max is 255;
% 4.91/5.07 ERROR, name expected:
% 4.91/5.07
% 4.91/5.07
% 4.91/5.07 s__documentation(s__AstronomicalBody,s__EnglishLanguage,'The &
% 4.91/5.07 ***HERE*** & s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
% 4.91/5.07 & greater(V__PRES,"29.92")
% 5.11/5.34 & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
% 5.11/5.34 & less(V__TEMP,V__MELT) )
% 5.11/5.34 -> s__attribute(V__X,s__Solid) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__GeographicArea,s__EnglishLanguage,'A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass &
% 5.11/5.34 ***HERE*** & greater(V__PRES,"29.92")
% 5.11/5.34 & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
% 5.11/5.34 & less(V__TEMP,V__MELT) )
% 5.11/5.34 -> s__attribute(V__X,s__Solid) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__geopoliticalSubdivision__m,s__EnglishLanguage,'(&
% 5.11/5.34 ***HERE*** & greater(V__PRES,"29.92")
% 5.11/5.34 & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
% 5.11/5.34 & less(V__TEMP,V__MELT) )
% 5.11/5.34 -> s__attribute(V__X,s__Solid) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__Continent,s__EnglishLanguage,'As defined in the CIA World Fact Book, &
% 5.11/5.34 ***HERE*** & greater(V__PRES,"29.92")
% 5.11/5.34 & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
% 5.11/5.34 & less(V__TEMP,V__MELT) )
% 5.11/5.34 -> s__attribute(V__X,s__Solid) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__County,s__EnglishLanguage,'A &
% 5.11/5.34 ***HERE*** & s__part(V__PART1,V__ISLAND)
% 5.11/5.34 & s__part(V__PART2,V__AREA)
% 5.11/5.34 & -s__part(V__ISLAND,V__AREA)
% 5.11/5.34 & -s__part(V__AREA,V__ISLAND)
% 5.11/5.34 & s__meetsSpatially(V__PART1,V__PART2) ) ) ) ) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__Roadway,s__EnglishLanguage,'&
% 5.11/5.34 ***HERE*** & -s__part(V__ISLAND,V__AREA)
% 5.11/5.34 & -s__part(V__AREA,V__ISLAND)
% 5.11/5.34 & s__meetsSpatially(V__PART1,V__PART2) ) ) ) ) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__Fish,s__EnglishLanguage,'A cold-blooded aquatic &
% 5.11/5.34 ***HERE*** & s__instance(V__CELL,s__Cell) ) ) ) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__BiologicallyActiveSubstance,s__EnglishLanguage,'A &
% 5.11/5.34 ***HERE*** -> s__attribute(V__X,s__Solid) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__Solution,s__EnglishLanguage,'A liquid mixture. The most abundant component in a solution is called the solvent. Other components are called solutes. A solution, though homogeneous, may nonetheless have variable composition. Any amount of salt, up to a maximum limit, can be dissolved ***HERE*** in a given amount of water.').
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__Hormone,s__EnglishLanguage,'In &
% 5.11/5.34 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 5.11/5.34 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__Meat,s__EnglishLanguage,'Any food which was originally part of an &
% 5.11/5.34 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 5.11/5.34 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__Tissue,s__EnglishLanguage,'An aggregation of similarly specialized &
% 5.11/5.34 ***HERE*** & s__holdsDuring(V__TIME,'(s__instance(V__ANIMAL,s__Animal) & s__part(V__SUBPART,V__ANIMAL))') ) ) ) ) ) ) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__ParticleWord,s__EnglishLanguage,'An umbrella &
% 5.11/5.34 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 5.11/5.34 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__FactualText,s__EnglishLanguage,'The class of &
% 5.11/5.34 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 5.11/5.34 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 5.11/5.34
% 5.11/5.34 ERROR, name too big, max is 255;
% 5.11/5.34 ERROR, name expected:
% 5.11/5.34
% 5.11/5.34
% 5.11/5.34 s__documentation(s__FictionalText,s__EnglishLanguage,'The class of &
% 5.11/5.34 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 5.27/5.49 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 5.27/5.49
% 5.27/5.49 ERROR, name too big, max is 255;
% 5.27/5.49 ERROR, name expected:
% 5.27/5.49
% 5.27/5.49
% 5.27/5.49 s__documentation(s__ResidentialBuilding,s__EnglishLanguage,'A &
% 5.27/5.49 ***HERE*** & s__instance(V__PUB1,s__Process) )
% 5.27/5.49 -> ( ( =(s__EditionFn(V__TEXT,V__INT1),V__EDITION1)
% 5.27/5.49 & =(s__EditionFn(V__TEXT,V__INT2),V__EDITION2)
% 5.27/5.49 & greater(V__INT2,V__INT1)
% 5.27/5.49 & s__instance(V__PUB1,s__Publication)
% 5.27/5.49 & s__instance(V__PUB2,s__Publication)
% 5.27/5.49 & s__instance(V__CBO1,V__EDITION1)
% 5.27/5.49 & s__instance(V__CBO2,V__EDITION2)
% 5.27/5.49 & s__patient(V__PUB1,V__CBO1)
% 5.27/5.49 & s__patient(V__PUB2,V__CBO2)
% 5.27/5.49 & s__date(V__PUB1,V__DATE1)
% 5.27/5.49 & s__date(V__PUB2,V__DATE2) )
% 5.27/5.49 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 5.27/5.49
% 5.27/5.49 ERROR, name too big, max is 255;
% 5.27/5.49 ERROR, name expected:
% 5.27/5.49
% 5.27/5.49
% 5.27/5.49 ( all V__RESIDENCE (
% 5.27/5.49 ( s__instance(V__RESIDENCE,s__SingleFamilyResidence)
% 5.27/5.49 -> s__hasPurpose(V__RESIDENCE,'(! [V__AGENT1,V__AGENT2] : ((s__instance(V__AGENT2,s__Human) & s__instance(V__AGENT1,s__Human) & s__instance(V__RESIDENCE,s__PermanentResidence)) => ((s__home(V__AGENT1,V__RESIDENCE) & s__home(V__AGENT2,V__RESIDENCE)) => (? [V__UNIT] : (s__instance(V__UNI ***HERE*** T,s__Collection) & s__instance(V__UNIT,s__SocialUnit) & s__member(V__AGENT1,V__UNIT) & s__member(V__AGENT2,V__UNIT))))))') ) ) ).
% 5.27/5.49
% 5.27/5.49 ERROR, name too big, max is 255;
% 5.27/5.49 ERROR, name expected:
% 5.27/5.49
% 5.27/5.49
% 5.27/5.49 s__documentation(s__Fabric,s__EnglishLanguage,'&
% 5.27/5.49 ***HERE*** -> ( ( =(s__EditionFn(V__TEXT,V__INT1),V__EDITION1)
% 5.27/5.49 & =(s__EditionFn(V__TEXT,V__INT2),V__EDITION2)
% 5.27/5.49 & greater(V__INT2,V__INT1)
% 5.27/5.49 & s__instance(V__PUB1,s__Publication)
% 5.27/5.49 & s__instance(V__PUB2,s__Publication)
% 5.27/5.49 & s__instance(V__CBO1,V__EDITION1)
% 5.27/5.49 & s__instance(V__CBO2,V__EDITION2)
% 5.27/5.49 & s__patient(V__PUB1,V__CBO1)
% 5.27/5.49 & s__patient(V__PUB2,V__CBO2)
% 5.27/5.49 & s__date(V__PUB1,V__DATE1)
% 5.27/5.49 & s__date(V__PUB2,V__DATE2) )
% 5.27/5.49 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 5.27/5.49
% 5.27/5.49 ERROR, name too big, max is 255;
% 5.27/5.49 ERROR, name expected:
% 5.27/5.49
% 5.27/5.49
% 5.27/5.49 s__documentation(s__Vehicle,s__EnglishLanguage,'&
% 5.27/5.49 ***HERE*** -> ( ( =(s__EditionFn(V__TEXT,V__INT1),V__EDITION1)
% 5.27/5.49 & =(s__EditionFn(V__TEXT,V__INT2),V__EDITION2)
% 5.27/5.49 & greater(V__INT2,V__INT1)
% 5.27/5.49 & s__instance(V__PUB1,s__Publication)
% 5.27/5.49 & s__instance(V__PUB2,s__Publication)
% 5.27/5.49 & s__instance(V__CBO1,V__EDITION1)
% 5.27/5.49 & s__instance(V__CBO2,V__EDITION2)
% 5.27/5.49 & s__patient(V__PUB1,V__CBO1)
% 5.27/5.49 & s__patient(V__PUB2,V__CBO2)
% 5.27/5.49 & s__date(V__PUB1,V__DATE1)
% 5.27/5.49 & s__date(V__PUB2,V__DATE2) )
% 5.27/5.49 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 5.27/5.49
% 5.27/5.49 ERROR, name too big, max is 255;
% 5.27/5.49 ERROR, name expected:
% 5.27/5.49
% 5.27/5.49
% 5.27/5.49 s__documentation(s__EngineeringComponent,s__EnglishLanguage,'A fundamental concept that applies in many engineering domains. An &
% 5.27/5.49 ***HERE*** & =(s__EditionFn(V__TEXT,V__INT2),V__EDITION2)
% 5.27/5.49 & greater(V__INT2,V__INT1)
% 5.27/5.49 & s__instance(V__PUB1,s__Publication)
% 5.27/5.49 & s__instance(V__PUB2,s__Publication)
% 5.27/5.49 & s__instance(V__CBO1,V__EDITION1)
% 5.27/5.49 & s__instance(V__CBO2,V__EDITION2)
% 5.27/5.49 & s__patient(V__PUB1,V__CBO1)
% 5.27/5.49 & s__patient(V__PUB2,V__CBO2)
% 5.27/5.49 & s__date(V__PUB1,V__DATE1)
% 5.27/5.49 & s__date(V__PUB2,V__DATE2) )
% 5.27/5.49 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 5.27/5.49
% 5.27/5.49 ERROR, name too big, max is 255;
% 5.27/5.49 ERROR, name expected:
% 5.27/5.49
% 5.27/5.49
% 5.27/5.49 s__documentation(s__connectedEngineeringComponents__m,s__EnglishLanguage,'This is the most general connection relation between &
% 5.27/5.49 ***HERE*** & greater(V__INT2,V__INT1)
% 5.27/5.49 & s__instance(V__PUB1,s__Publication)
% 5.27/5.49 & s__instance(V__PUB2,s__Publication)
% 5.27/5.49 & s__instance(V__CBO1,V__EDITION1)
% 5.27/5.49 & s__instance(V__CBO2,V__EDITION2)
% 5.27/5.49 & s__patient(V__PUB1,V__CBO1)
% 5.27/5.49 & s__patient(V__PUB2,V__CBO2)
% 5.27/5.49 & s__date(V__PUB1,V__DATE1)
% 5.27/5.49 & s__date(V__PUB2,V__DATE2) )
% 5.27/5.49 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 5.27/5.49
% 5.27/5.49 ERROR, name too big, max is 255;
% 5.27/5.49 ERROR, name expected:
% 5.27/5.49
% 5.27/5.49
% 5.27/5.49 s__documentation(s__EngineeringConnection,s__EnglishLanguage,'An &
% 5.27/5.49 ***HERE***
% 5.27/5.49
% 5.27/5.49 ERROR, name too big, max is 255;
% 5.27/5.49 ERROR, name expected:
% 5.27/5.49
% 5.27/5.49
% 5.65/5.86 s__documentation(s__connectsEngineeringComponents__m,s__EnglishLanguage,'&
% 5.65/5.86 ***HERE***
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__relative__m,s__EnglishLanguage,'(&
% 5.65/5.86 ***HERE*** & s__age(V__MEMB2,V__AGE2) )
% 5.65/5.86 -> =(V__AGE1,V__AGE2) ) ) ) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__acquaintance__m,s__EnglishLanguage,'(&
% 5.65/5.86 ***HERE*** & s__confersObligation(V__OBLIGATION,V__DECLARE,V__AGENT2) ) ) ) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__mutualAcquaintance__m,s__EnglishLanguage,'(&
% 5.65/5.86 ***HERE*** & - ( =(V__PARENT1,V__PARENT2) ) )
% 5.65/5.86 -> s__sibling(V__ORGANISM1,V__ORGANISM2) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__Organization,s__EnglishLanguage,'An &
% 5.65/5.86 ***HERE***
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__GovernmentFn__m,s__EnglishLanguage,'(&
% 5.65/5.86 ***HERE***
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__JudicialOrganization,s__EnglishLanguage,'&
% 5.65/5.86 ***HERE***
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__FieldOfStudy,s__EnglishLanguage,'An academic or applied discipline with recognized experts and with a core of accepted theory or practice. Note that &
% 5.65/5.86 ***HERE***
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__orientation__m,s__EnglishLanguage,'A general &
% 5.65/5.86 ***HERE*** & s__conclusion(V__CONCLUSION,V__ARGUMENT) )
% 5.65/5.86 -> ( exists V__FORMULA1 V__FORMULA2 (
% 5.65/5.86 ( s__instance(V__FORMULA2,s__ContentBearingPhysical)
% 5.65/5.86 & s__instance(V__FORMULA1,s__ContentBearingPhysical)
% 5.65/5.86 & s__containsInformation(V__FORMULA1,V__PREMISES)
% 5.65/5.86 & s__containsInformation(V__FORMULA2,V__CONCLUSION)
% 5.65/5.86 & s__entails(V__PREMISES,V__CONCLUSION) ) ) ) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__faces__m,s__EnglishLanguage,'(&
% 5.65/5.86 ***HERE*** & s__inList(V__ATTR1,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 5.65/5.86 & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 5.65/5.86 & - ( =(V__ATTR1,V__ATTR2) ) )
% 5.65/5.86 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__CoordinatedUniversalTimeZone,s__EnglishLanguage,'A &
% 5.65/5.86 ***HERE*** & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 5.65/5.86 & - ( =(V__ATTR1,V__ATTR2) ) )
% 5.65/5.86 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__RelativeTimeFn__m,s__EnglishLanguage,'A means of converting &
% 5.65/5.86 ***HERE*** & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 5.65/5.86 & - ( =(V__ATTR1,V__ATTR2) ) )
% 5.65/5.86 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__occupiesPosition__m,s__EnglishLanguage,'(&
% 5.65/5.86 ***HERE*** & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 5.65/5.86 & - ( =(V__ATTR1,V__ATTR2) ) )
% 5.65/5.86 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, ')' expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__modalAttribute__m,s__EnglishLanguage,'A &
% 5.65/5.86 ***HERE*** & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 5.65/5.86 & - ( =(V__ATTR1,V__ATTR2) ) )
% 5.65/5.86 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__SubjectiveAssessmentAttribute,s__EnglishLanguage,'The &
% 5.65/5.86 ***HERE*** & - ( =(V__ATTR1,V__ATTR2) ) )
% 5.65/5.86 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 5.65/5.86 ERROR, name expected:
% 5.65/5.86
% 5.65/5.86
% 5.65/5.86 s__documentation(s__ContestAttribute,s__EnglishLanguage,'A &
% 5.65/5.86 ***HERE*** & - ( =(V__ATTR1,V__ATTR2) ) )
% 5.65/5.86 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 5.65/5.86
% 5.65/5.86 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__Law,s__EnglishLanguage,'&
% 6.70/6.87 ***HERE*** & ( s__agent(V__CONTEST,V__THING)
% 6.70/6.87 | s__patient(V__CONTEST,V__THING)
% 6.70/6.87 | s__subProcess(V__THING,V__CONTEST) ) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__PhysicalState,s__EnglishLanguage,'The physical state of an &
% 6.70/6.87 ***HERE*** | s__subProcess(V__THING,V__CONTEST) ) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__Plasma,s__EnglishLanguage,'An extremely energetic &
% 6.70/6.87 ***HERE*** | s__subProcess(V__THING,V__CONTEST) ) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__OrganismRemains,s__EnglishLanguage,'An &
% 6.70/6.87 ***HERE*** & s__entails(V__PREMISES,V__CONCLUSION) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__Script,s__EnglishLanguage,'The collection of &
% 6.70/6.87 ***HERE*** | s__before(V__S2_START,V__S1_START) ) )
% 6.70/6.87 -> =(V__S1,V__S2) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__Sewage,s__EnglishLanguage,'The byproduct of &
% 6.70/6.87 ***HERE*** & s__instrument(V__PROC,V__PART) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 ( all V__X (
% 6.70/6.87 ( s__instance(V__X,s__Object)
% 6.70/6.87 -> ( s__instance(V__X,s__Bidet)
% 6.70/6.87 -> s__hasPurpose(V__X,'(? [V__PROC,V__WASH,V__PART] : (s__instance(V__PART,s__Object) & s__instance(V__WASH,s__Process) & s__instance(V__PROC,s__Process) & (s__instance(V__PROC,s__Defecation) | s__instance(V__PROC,s__Urination)) & s__instrument(V__PROC,V__PART) & s__instance(V_ ***HERE*** _WASH,s__Washing) & s__patient(V__WASH,V__PART) & s__instrument(V__WASH,V__X) & s__before(s__BeginFn(s__WhenFn(V__PROC)),s__BeginFn(s__WhenFn(V__WASH)))))') ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__Toothbrush,s__EnglishLanguage,'A small &
% 6.70/6.87 ***HERE*** & s__instrument(V__S2,V__G)
% 6.70/6.87 & - ( =(V__S1,V__S2) )
% 6.70/6.87 & s__causes(V__P,V__S1)
% 6.70/6.87 & s__causes(V__P,V__S2) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__Electricity,s__EnglishLanguage,'While electricity is typically thought of as just a difference in electrical potential, one way of modeling electricity is as a substance that can be moved from one point to another or consumed. One could make the claim that subatomic physics also support ***HERE*** s the classification as a substance since electrons are objects.').
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__measurementReading__m,s__EnglishLanguage,'(measurementReading ?DEVICE ?QUANTITY) means that ?QUANTITY is a reading of the &
% 6.70/6.87 ***HERE*** & s__top(V__T,V__O)
% 6.70/6.87 & s__part(V__P1,V__T)
% 6.70/6.87 & s__part(V__P2,V__T)
% 6.70/6.87 & s__height(V__P1,V__H1)
% 6.70/6.87 & s__height(V__P2,V__H2)
% 6.70/6.87 & greater(V__H1,V__H2) ) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__Telephone,s__EnglishLanguage,'A &
% 6.70/6.87 ***HERE*** & s__top(V__T,V__O)
% 6.70/6.87 & s__part(V__P1,V__T)
% 6.70/6.87 & s__part(V__P2,V__T)
% 6.70/6.87 & s__height(V__P1,V__H1)
% 6.70/6.87 & s__height(V__P2,V__H2)
% 6.70/6.87 & greater(V__H1,V__H2) ) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 s__documentation(s__FaxMachine,s__EnglishLanguage,'A &
% 6.70/6.87 ***HERE*** & s__top(V__T,V__O)
% 6.70/6.87 & s__part(V__P1,V__T)
% 6.70/6.87 & s__part(V__P2,V__T)
% 6.70/6.87 & s__height(V__P1,V__H1)
% 6.70/6.87 & s__height(V__P2,V__H2)
% 6.70/6.87 & greater(V__H1,V__H2) ) ) ) ) ) ) ) ).
% 6.70/6.87
% 6.70/6.87 ERROR, name too big, max is 255;
% 6.70/6.87 ERROR, name expected:
% 6.70/6.87
% 6.70/6.87
% 6.70/6.87 ( all V__P (
% 6.70/6.87 ( s__instance(V__P,s__Object)
% 6.70/6.87 -> ( s__instance(V__P,s__Wallpaper)
% 6.91/7.10 -> s__hasPurpose(V__P,'(? [V__W,V__R,V__C] : (s__instance(V__C,s__Process) & s__instance(V__R,s__Object) & s__instance(V__W,s__Object) & s__instance(V__W,s__Wall) & s__part(V__W,V__R) & s__instance(V__R,s__Room) & s__instance(V__C,s__Covering) & s__patient(V__C,V__W) & s__instr ***HERE*** ument(V__C,V__P)))') ) ) ) ).
% 6.91/7.10
% 6.91/7.10 ERROR, name too big, max is 255;
% 6.91/7.10 ERROR, name expected:
% 6.91/7.10
% 6.91/7.10
% 6.91/7.10 s__documentation(s__potentialOfHydrogen__m,s__EnglishLanguage,'(potentialOfHydrogen ?SOLUTION ?NUMBER) means that the Solution ?SOLUTION has a pH value of ?NUMBER. The ph varies between 0 and 14, and it is a measure of the acidity or alkalinity of ?SOLUTION. More precisely, and it is the logarithm of the reciprocal o ***HERE*** f the quantity of &
% 6.91/7.10 & s__surface(V__SURFACE,V__OBJ)
% 6.91/7.10 & s__instance(V__STUFF,s__Paint) ) ) ) ) ) ) ).
% 6.91/7.10
% 6.91/7.10 ERROR, name too big, max is 255;
% 6.91/7.10 ERROR, name expected:
% 6.91/7.10
% 6.91/7.10
% 6.91/7.10 ( all V__DA (
% 6.91/7.10 ( s__instance(V__DA,s__Physical)
% 6.91/7.10 -> ( s__instance(V__DA,s__DisplayArtifact)
% 6.91/7.10 -> s__hasPurpose(V__DA,'(? [V__P,V__D,V__I] : (s__instance(V__D,s__Process) & s__instance(V__P,s__Process) & s__instance(V__P,s__Putting) & s__instance(V__D,s__Disseminating) & s__instance(V__I,s__ContentBearingObject) & s__patient(V__P,V__I) & s__patient(V__D,V__I) & s__destina ***HERE*** tion(V__P,V__DA)))') ) ) ) ).
% 6.91/7.10
% 6.91/7.10 ERROR, name too big, max is 255;
% 6.91/7.10 ERROR, name expected:
% 6.91/7.10
% 6.91/7.10
% 6.91/7.10 s__documentation(s__LandVehicle,s__EnglishLanguage,'&
% 6.91/7.10 ***HERE*** & s__instance(V__STUFF,s__Paint) ) ) ) ) ) ) ).
% 6.91/7.10
% 6.91/7.10 ERROR, name too big, max is 255;
% 6.91/7.10 ERROR, name expected:
% 6.91/7.10
% 6.91/7.10
% 6.91/7.10 s__documentation(s__Paper,s__EnglishLanguage,'Paper is a flat sheet of fibers, usually produced by spreading a wet solution of wood particles on a flat surface and drying through heat and pressure. The fibers can also be cotton or a synthetic, although typically the bulk of the substance is wood fibe ***HERE*** rs. This includes all manner of paper products that may have varying thicknesses, colors or texture. This is distinguished from flat wood products such as plywood and particle board which have a structural function in building construction. Sheathing materials such as the paper affixed to sheetrock however, is paper.').
% 6.91/7.10
% 6.91/7.10 ERROR, name too big, max is 255;
% 6.91/7.10 ERROR, name expected:
% 6.91/7.10
% 6.91/7.10
% 6.91/7.10 s__documentation(s__Furniture,s__EnglishLanguage,'Any free-standing and movable &
% 6.91/7.10 ***HERE*** & ( s__instance(V__T2,s__Telephone)
% 6.91/7.10 | s__instance(V__T2,s__Telegraph) )
% 6.91/7.10 & - ( =(V__T1,V__T2) )
% 6.91/7.10 & s__connects(V__TL,V__T1,V__T2) ) ) ) ) ) ) ).
% 6.91/7.10
% 6.91/7.10 ERROR, name too big, max is 255;
% 6.91/7.10 ERROR, name expected:
% 6.91/7.10
% 6.91/7.10
% 6.91/7.10 ( all V__S (
% 6.91/7.10 ( s__instance(V__S,s__Object)
% 6.91/7.10 -> ( s__instance(V__S,s__Sofa)
% 6.91/7.10 -> s__hasPurpose(V__S,'(? [V__P1,V__P2,V__T] : (s__instance(V__T,s__TimePosition) & s__instance(V__P2,s__Object) & s__instance(V__P2,s__Process) & s__instance(V__P1,s__Object) & s__instance(V__P1,s__Process) & (~ (V__P1 = V__P2)) & s__instance(V__P1,s__Human) & s__instance(V__P ***HERE*** 2,s__Human) & s__holdsDuring(V__T,(s__attribute(V__P1,s__Sitting) & s__attribute(V__P2,s__Sitting) & s__eventLocated(V__P1,V__S) & s__eventLocated(V__P2,V__S)))))') ) ) ) ).
% 6.91/7.10
% 6.91/7.10 ERROR, name too big, max is 255;
% 6.91/7.10 ERROR, name expected:
% 6.91/7.10
% 6.91/7.10
% 6.91/7.10 ( all V__X (
% 6.91/7.10 ( s__instance(V__X,s__Object)
% 6.91/7.10 -> ( s__instance(V__X,s__KingBed)
% 6.91/7.10 -> s__modalAttribute('(? [V__P1,V__P2,V__P3,V__TIME] : (s__instance(V__TIME,s__TimePosition) & s__instance(V__P3,s__Object) & s__instance(V__P2,s__Object) & s__instance(V__P1,s__Object) & (~ (V__P1 = V__P2)) & (~ (V__P2 = V__P3)) & (~ (V__P1 = V__P3)) & s__attribute(V__P1,s__A ***HERE*** sleep) & s__attribute(V__P2,s__Asleep) & s__attribute(V__P3,s__Asleep) & s__instance(V__P1,s__Human) & s__instance(V__P2,s__Human) & s__instance(V__P3,s__Human) & s__holdsDuring(V__TIME,(s__located(V__P1,V__X) & s__located(V__P2,V__X) & s__located(V__P3,V__X)))))',s__Possibility) ) ) ) ).
% 6.91/7.10
% 6.91/7.10 ERROR, name too big, max is 255;
% 6.91/7.10 ERROR, name expected:
% 6.91/7.10
% 6.91/7.10
% 6.91/7.10 ( all V__TIME V__P3 V__X (
% 6.91/7.10 ( ( s__instance(V__X,s__Object)
% 6.91/7.10 & s__instance(V__TIME,s__TimePosition) )
% 6.91/7.10 -> ( s__instance(V__X,s__QueenBed)
% 8.11/8.32 -> s__modalAttribute('(? [V__P1,V__P2] : (s__instance(V__P2,s__Object) & s__instance(V__P1,s__Object) & (~ (V__P1 = V__P2)) & (~ (V__P2 = V__P3)) & s__attribute(V__P1,s__Asleep) & s__attribute(V__P2,s__Asleep) & s__instance(V__P1,s__Human) & s__instance(V__P2,s__Human) & s__ho ***HERE*** ldsDuring(V__TIME,(s__located(V__P1,V__X) & s__located(V__P2,V__X)))))',s__Possibility) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 ( all V__TIME V__P3 V__X (
% 8.11/8.32 ( ( s__instance(V__X,s__Object)
% 8.11/8.32 & s__instance(V__TIME,s__TimePosition) )
% 8.11/8.32 -> ( s__instance(V__X,s__DoubleBed)
% 8.11/8.32 -> s__modalAttribute('(? [V__P1,V__P2] : (s__instance(V__P2,s__Object) & s__instance(V__P1,s__Object) & (~ (V__P1 = V__P2)) & (~ (V__P2 = V__P3)) & s__attribute(V__P1,s__Asleep) & s__attribute(V__P2,s__Asleep) & s__instance(V__P1,s__Human) & s__instance(V__P2,s__Human) & s__ho ***HERE*** ldsDuring(V__TIME,(s__located(V__P1,V__X) & s__located(V__P2,V__X)))))',s__Possibility) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 ( all V__S (
% 8.11/8.32 ( s__instance(V__S,s__Sandal)
% 8.11/8.32 -> ( exists V__H1 V__H2 (
% 8.11/8.32 ( s__instance(V__H1,s__Hole)
% 8.11/8.32 & s__instance(V__H2,s__Hole)
% 8.11/8.32 & - ( =(V__H1,V__H2) )
% 8.11/8.32 & s__hasPurpose(V__H1,'(? [V__D,V__F,V__A,V__I] : (s__instance(V__I,s__Process) & s__instance(V__A,s__Agent) & s__instance(V__F,s__Object) & s__instance(V__D,s__Process) & s__instance(V__H1,s__Physical) & s__instance(V__D,s__Dressing) & s__instance(V__F,s__Foot) & s__agent(V__D ***HERE*** ,V__A) & s__part(V__F,V__A) & s__subProcess(V__I,V__D) & s__instance(V__I,s__Inserting) & s__patient(V__I,V__F) & s__destination(V__I,V__H1)))') ) ) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 ( all V__BLANKET (
% 8.11/8.32 ( s__instance(V__BLANKET,s__Physical)
% 8.11/8.32 -> ( s__instance(V__BLANKET,s__Blanket)
% 8.11/8.32 -> s__hasPurpose(V__BLANKET,'(? [V__HEAT,V__PERSON,V__BED] : (s__instance(V__BED,s__Object) & s__instance(V__PERSON,s__Physical) & s__instance(V__HEAT,s__Process) & s__instance(V__HEAT,s__Heating) & s__patient(V__HEAT,V__PERSON) & s__instance(V__PERSON,s__Human) & s__located(V__PERSO ***HERE*** N,V__BED) & s__instance(V__BED,s__Bed)))') ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 s__documentation(s__patientMedical__m,s__EnglishLanguage,'The relation of receiving medical care from a recognized medical practitioner. (&
% 8.11/8.32 ***HERE*** & s__connects(V__A,V__OBJ1,V__OBJ2) ) ) ) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 s__documentation(s__capacity__m,s__EnglishLanguage,'(&
% 8.11/8.32 ***HERE*** & s__contains(V__S,V__G) ) ) ) ) ) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 s__documentation(s__dislikes__m,s__EnglishLanguage,'(&
% 8.11/8.32 ***HERE*** & s__subclass(V__SEE,s__Seeing)
% 8.11/8.32 & ( all V__INST (
% 8.11/8.32 ( ( s__instance(V__INST,s__Process)
% 8.11/8.32 & s__instance(V__SEE,s__SetOrClass)
% 8.11/8.32 & s__instance(V__SEAT,s__Object)
% 8.11/8.32 & s__instance(V__AUDITORIUM,s__Object)
% 8.11/8.32 & s__instance(V__PERSON,s__Physical)
% 8.11/8.32 & s__instance(V__STAGE,s__Object) )
% 8.11/8.32 -> ( s__instance(V__INST,V__SEE)
% 8.11/8.32 -> s__patient(V__INST,V__STAGE) ) ) ) ) )
% 8.11/8.32 -> s__capability(V__SEE,s__agent__m,V__PERSON) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 s__documentation(s__disapproves__m,s__EnglishLanguage,'(&
% 8.11/8.32 ***HERE*** & s__subclass(V__SEE,s__Seeing)
% 8.11/8.32 & ( all V__INST (
% 8.11/8.32 ( ( s__instance(V__INST,s__Process)
% 8.11/8.32 & s__instance(V__SEE,s__SetOrClass)
% 8.11/8.32 & s__instance(V__SEAT,s__Object)
% 8.11/8.32 & s__instance(V__AUDITORIUM,s__Object)
% 8.11/8.32 & s__instance(V__PERSON,s__Physical)
% 8.11/8.32 & s__instance(V__STAGE,s__Object) )
% 8.11/8.32 -> ( s__instance(V__INST,V__SEE)
% 8.11/8.32 -> s__patient(V__INST,V__STAGE) ) ) ) ) )
% 8.11/8.32 -> s__capability(V__SEE,s__agent__m,V__PERSON) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 s__documentation(s__CommunicationOrganization,s__EnglishLanguage,'&
% 8.11/8.32 ***HERE*** & - ( =(V__T1,V__T2) ) ) ) ) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 8.11/8.32 s__documentation(s__Shipping,s__EnglishLanguage,'Shipping is the subclass of &
% 8.11/8.32 ***HERE*** & s__instance(V__BEVERAGE,s__AlcoholicBeverage) ) ) ) ) ) ) ).
% 8.11/8.32
% 8.11/8.32 ERROR, name too big, max is 255;
% 8.11/8.32 ERROR, name expected:
% 8.11/8.32
% 8.11/8.32
% 9.87/10.06 s__documentation(s__RetailStore,s__EnglishLanguage,'A &
% 9.87/10.06 ***HERE*** & s__instance(V__STAGE,s__Object) )
% 9.87/10.06 -> ( s__instance(V__INST,V__SEE)
% 9.87/10.06 -> s__patient(V__INST,V__STAGE) ) ) ) ) )
% 9.87/10.06 -> s__capability(V__SEE,s__agent__m,V__PERSON) ) ) ) ).
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 s__documentation(s__Surfactant,s__EnglishLanguage,'Surfactants, also known as &
% 9.87/10.06 ***HERE*** & s__instance(V__OXYGEN,s__Oxygen)
% 9.87/10.06 & s__result(V__SYNTHESIS,V__WATER) ) ) ) ) ) ).
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 s__documentation(s__Detergent,s__EnglishLanguage,'A detergent is a compound, or a mixture of compounds, whose molecules have two distinct regions: one that is hydrophilic, and dissolves easily in water, and another region that is hydrophobic, with little (if any) affinity for water. As a consequence, the ***HERE*** se compounds can aid in the solubilization of hydrophobic compounds in water, and usually are optimized for this property. Though &
% 9.87/10.06 & s__instance(V__FLOOR,s__Floor)
% 9.87/10.06 & s__orientation(V__BED,V__FLOOR,s__On)
% 9.87/10.06 & s__orientation(V__POST,V__FLOOR,s__Vertical) ) ) ) ) ) ) ) ) ) ) ) ) ).
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 ( all V__DETERGENT (
% 9.87/10.06 ( s__instance(V__DETERGENT,s__Physical)
% 9.87/10.06 -> ( s__instance(V__DETERGENT,s__Detergent)
% 9.87/10.06 -> s__hasPurpose(V__DETERGENT,'(? [V__REMOVE,V__SUBSTANCE,V__SURFACE,V__OBJECT] : (s__instance(V__OBJECT,s__SelfConnectedObject) & s__instance(V__SURFACE,s__SelfConnectedObject) & s__instance(V__REMOVE,s__Process) & s__instance(V__REMOVE,s__Removing) & s__instance(V__SUBSTANCE,s__Subst ***HERE*** ance) & s__patient(V__REMOVE,V__SUBSTANCE) & s__origin(V__REMOVE,V__SURFACE) & s__surface(V__SURFACE,V__OBJECT)))') ) ) ) ).
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 s__documentation(s__FlowRegion,s__EnglishLanguage,'&
% 9.87/10.06 ***HERE*** & s__instance(V__FLOOR,s__Floor)
% 9.87/10.06 & s__orientation(V__BED,V__FLOOR,s__On)
% 9.87/10.06 & s__orientation(V__POST,V__FLOOR,s__Vertical) ) ) ) ) ) ) ) ) ) ) ) ) ).
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 s__documentation(s__BotanicalTree,s__EnglishLanguage,'&
% 9.87/10.06 ***HERE*** & s__located(V__THING,V__PART) ) ) ) ) ) ) ) ) ) ) ) ).
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 ( all V__E (
% 9.87/10.06 ( s__instance(V__E,s__Object)
% 9.87/10.06 -> ( s__instance(V__E,s__Eyelid)
% 9.87/10.06 -> s__hasPurpose(V__E,'(? [V__EYE,V__P,V__C] : (s__instance(V__C,s__Process) & s__instance(V__P,s__Agent) & s__instance(V__EYE,s__Object) & s__instance(V__C,s__Covering) & s__instance(V__C,s__BodyMotion) & s__instance(V__P,s__Human) & s__experiencer(V__C,V__P) & s__instrument(V ***HERE*** __C,V__E) & s__patient(V__C,V__EYE) & s__instance(V__EYE,s__Eye) & s__part(V__EYE,V__P) & s__part(V__E,V__P)))') ) ) ) ).
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 s__documentation(s__Music,s__EnglishLanguage,'&
% 9.87/10.06 ***HERE*** & s__measure(V__MOST,s__MeasureFn(V__NUMBER2,V__UNIT))
% 9.87/10.06 & greater(V__NUMBER2,V__NUMBER1) ) ) ) ) ) ) ).
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 s__comment(s__MusicalComposition,'Currently, MusicalComposition is treated as text, and there is no propositional content related to it. This is dangerous, as there could be millions of instances of (for instance) sheet music containing Beethovens Fifth Symphony, and only having MusicalCo ***HERE*** mposition equal to an object would imply that all of this different instances are different from each other. You could also have many different arrangements of the same musical composition. As such, I propose making MusicalComposition a Proposition, which refers more to the conception of the music, and SheetMusic the content bearing object that contains information about a particular MusicalComposition. (09-13-2011)','KJN').
% 9.87/10.06
% 9.87/10.06 ERROR, name too big, max is 255;
% 9.87/10.06 ERROR, name expected:
% 9.87/10.06
% 9.87/10.06
% 9.87/10.06 s__documentation(s__Song,s__EnglishLanguage,'&
% 9.87/10.06 ***HERE*** & s__patient(V__V,V__LC)
% 9.87/10.06 & s__instance(V__LC,s__LyricalContent)
% 10.68/10.86 & s__subProcess(V__V,V__MUSIC) ) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__documentation(s__Agreement,s__EnglishLanguage,'&
% 10.68/10.86 ***HERE*** & s__patient(V__MM,V__MC)
% 10.68/10.86 & s__patient(V__MV,V__LC)
% 10.68/10.86 & s__subProcess(V__MM,V__MUSIC)
% 10.68/10.86 & s__subProcess(V__MV,V__MUSIC) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__documentation(s__Contract,s__EnglishLanguage,'&
% 10.68/10.86 ***HERE*** & s__patient(V__MV,V__LC)
% 10.68/10.86 & s__subProcess(V__MM,V__MUSIC)
% 10.68/10.86 & s__subProcess(V__MV,V__MUSIC) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__documentation(s__Warranty,s__EnglishLanguage,'A &
% 10.68/10.86 ***HERE*** & s__realization(V__SP,V__C)
% 10.68/10.86 & s__serviceProvider(V__SP,V__SERVICE)
% 10.68/10.86 & s__serviceRecipient(V__SP,V__CUST)
% 10.68/10.86 & s__partyToAgreement(V__C,V__SERVICE)
% 10.68/10.86 & s__partyToAgreement(V__C,V__CUST) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__comment(s__AudioRecording,'In ver 1.111 of Mid-level-ontology.kif , it says that (&
% 10.68/10.86 ***HERE*** & s__partyToAgreement(V__C,V__CUST) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__comment(s__record__m,'Adding a more specific relation than &
% 10.68/10.86 ***HERE*** & s__realization(V__SOUND,V__INFO)
% 10.68/10.86 & s__instance(V__SOUND,s__RadiatingSound) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 ( all V__PLAYER (
% 10.68/10.86 ( s__instance(V__PLAYER,s__Object)
% 10.68/10.86 -> ( s__instance(V__PLAYER,s__MediaSystem)
% 10.68/10.86 -> s__hasPurpose(V__PLAYER,'((? [V__VIDEO,V__RL] : (s__instance(V__RL,s__Process) & s__instance(V__VIDEO,s__VideoRecording) & s__instance(V__RL,s__RadiatingLight) & s__patient(V__RL,V__VIDEO) & s__instrument(V__RL,V__PLAYER))) | (? [V__AUDIO,V__RS] : (s__instance(V__RS,s__Process) & ***HERE*** s__instance(V__AUDIO,s__AudioRecording) & s__instance(V__RS,s__RadiatingSound) & s__patient(V__RS,V__AUDIO) & s__instrument(V__RS,V__PLAYER))))') ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__documentation(s__titles__m,s__EnglishLanguage,'A &
% 10.68/10.86 ***HERE*** & - ( =(V__ARTICLE2,V__ARTICLE1) )
% 10.68/10.86 & s__subsumesContentInstance(V__BOOK,V__ARTICLE2) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__documentation(s__givenName__m,s__EnglishLanguage,'(&
% 10.68/10.86 ***HERE*** & - ( =(V__ARTICLE2,V__ARTICLE1) )
% 10.68/10.86 & s__subsumesContentInstance(V__BOOK,V__ARTICLE2) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__documentation(s__Holiday,s__EnglishLanguage,'&
% 10.68/10.86 ***HERE*** & s__temporalPart(s__WhenFn(V__PUBLICATION),V__WEEK)
% 10.68/10.86 & s__result(V__PUBLICATION,V__ISSUE)
% 10.68/10.86 & s__instance(V__ISSUE,V__PAPER) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 ( all V__B V__S (
% 10.68/10.86 ( ( s__instance(V__S,s__SelfConnectedObject)
% 10.68/10.86 & s__instance(V__B,s__Object) )
% 10.68/10.86 -> ( ( s__instance(V__S,s__Stairway)
% 10.68/10.86 & s__part(V__S,V__B)
% 10.68/10.86 & s__instance(V__B,s__Building) )
% 10.68/10.86 -> s__hasPurpose(V__S,'(? [V__L1,V__L2] : (s__instance(V__L2,s__SelfConnectedObject) & s__instance(V__L1,s__SelfConnectedObject) & s__instance(V__L1,s__BuildingLevel) & s__instance(V__L2,s__BuildingLevel) & s__part(V__L1,V__B) & s__part(V__L2,V__B) & s__connects(V__S,V__L1,V__L ***HERE*** 2)))') ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 s__documentation(s__Door,s__EnglishLanguage,'An &
% 10.68/10.86 ***HERE*** & s__instance(V__WALL,s__Wall)
% 10.68/10.86 & s__part(V__WALL,V__ROOM)
% 10.68/10.86 & s__part(V__WALL,V__X)
% 10.68/10.86 & s__instance(V__DOOR,s__Door)
% 10.68/10.86 & s__part(V__DOOR,V__WALL) ) ) ) ) ) ) ).
% 10.68/10.86
% 10.68/10.86 ERROR, name too big, max is 255;
% 10.68/10.86 ERROR, name expected:
% 10.68/10.86
% 10.68/10.86
% 10.68/10.86 ( all V__HINGE (
% 10.68/10.86 ( s__instance(V__HINGE,s__SelfConnectedObject)
% 10.68/10.86 -> ( s__instance(V__HINGE,s__Hinge)
% 12.87/13.08 -> s__hasPurpose(V__HINGE,'(? [V__OBJ1,V__OBJ2] : (s__instance(V__OBJ2,s__SelfConnectedObject) & s__instance(V__OBJ1,s__SelfConnectedObject) & s__connects(V__HINGE,V__OBJ1,V__OBJ2) & (s__capability(s__Rotating,s__patient__m,V__OBJ1) | s__capability(s__Rotating,s__patient__m,V__OBJ2 ***HERE*** ))))') ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 ( all V__E (
% 12.87/13.08 ( s__instance(V__E,s__Physical)
% 12.87/13.08 -> ( s__instance(V__E,s__Elevator)
% 12.87/13.08 -> s__hasPurpose(V__E,'(? [V__T,V__L1,V__L2,V__B] : (s__instance(V__B,s__Object) & s__instance(V__L2,s__Object) & s__instance(V__L1,s__Object) & s__instance(V__T,s__Process) & s__instance(V__T,s__Transportation) & s__origin(V__T,V__L1) & s__instance(V__L1,s__BuildingLevel) & s_ ***HERE*** _destination(V__T,V__L2) & s__instance(V__L2,s__BuildingLevel) & (~ (V__L1 = V__L2)) & s__part(V__L1,V__B) & s__part(V__L2,V__B) & s__instance(V__B,s__Building)))') ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 ( all V__ACTION V__PLAINTIFF V__AWARD (
% 12.87/13.08 ( ( s__instance(V__PLAINTIFF,s__CognitiveAgent)
% 12.87/13.08 & s__instance(V__ACTION,s__Process) )
% 12.87/13.08 -> ( ( s__instance(V__AWARD,s__LegalAward)
% 12.87/13.08 & s__refers(V__AWARD,V__ACTION)
% 12.87/13.08 & s__instance(V__ACTION,s__LegalAction)
% 12.87/13.08 & s__agent(V__ACTION,V__PLAINTIFF) )
% 12.87/13.08 -> s__confersRight('(? [V__GET,V__OBJ,V__VALUE] : (s__instance(V__VALUE,s__CurrencyMeasure) & s__instance(V__OBJ,s__Physical) & s__instance(V__GET,s__Process) & s__instance(V__GET,s__Getting) & s__experiencer(V__GET,V__PLAINTIFF) & s__patient(V__GET,V__OBJ) & s__monetaryValu ***HERE*** e(V__OBJ,V__VALUE)))',V__AWARD,V__PLAINTIFF) ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 ( all V__P V__A (
% 12.87/13.08 ( ( s__instance(V__A,s__Agent)
% 12.87/13.08 & s__instance(V__P,s__Object) )
% 12.87/13.08 -> ( ( s__instance(V__P,s__Passport)
% 12.87/13.08 & s__possesses(V__A,V__P) )
% 12.87/13.08 -> s__confersNorm(V__P,'(? [V__T,V__N1,V__N2] : (s__instance(V__N1,s__Object) & s__instance(V__T,s__Process) & s__instance(V__T,s__Translocation) & s__agent(V__T,V__A) & s__origin(V__T,V__N1) & s__destination(V__T,V__N2) & s__instance(V__N1,s__Nation) & s__instance(V__N2,s__Nati ***HERE*** on) & (~ (V__N1 = V__N2))))',s__Permission) ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 ( all V__VS (
% 12.87/13.08 ( s__instance(V__VS,s__EducationalOrganization)
% 12.87/13.08 -> ( s__instance(V__VS,s__VocationalSchool)
% 12.87/13.08 -> s__hasPurpose(V__VS,'(? [V__P,V__S,V__T] : (s__instance(V__T,s__Attribute) & s__instance(V__S,s__CognitiveAgent) & s__instance(V__P,s__Process) & s__instance(V__P,s__EducationalProcess) & s__eventLocated(V__P,V__VS) & s__student(V__S,V__VS) & s__experiencer(V__P,V__S) & s__in ***HERE*** stance(V__T,s__OccupationalTrade) & s__holdsDuring(s__EndFn(s__WhenFn(V__P)),s__attribute(V__S,V__T))))') ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 s__documentation(s__College,s__EnglishLanguage,'A &
% 12.87/13.08 ***HERE*** & s__earlier(s__WhenFn(V__GRAD),s__WhenFn(V__ENTER)) ) ) ) ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 s__documentation(s__WaterWave,s__EnglishLanguage,'A &
% 12.87/13.08 ***HERE*** & s__instance(V__CONTAINER2,s__Container)
% 12.87/13.08 & - ( =(V__CONTAINER1,V__CONTAINER2) )
% 12.87/13.08 & s__patient(V__POUR,V__LIQUID)
% 12.87/13.08 & s__attribute(V__LIQUID,s__Liquid)
% 12.87/13.08 & s__instance(V__LIQUID,s__Substance) ) ) ) ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 s__documentation(s__SeasonOfYear,s__EnglishLanguage,'&
% 12.87/13.08 ***HERE*** & s__properPart(V__PART,V__OBJ)
% 12.87/13.08 & s__agent(V__GIVE,V__AGENT1)
% 12.87/13.08 & s__destination(V__GIVE,V__AGENT2) ) ) ) ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 s__documentation(s__contestParticipant__m,s__EnglishLanguage,'(&
% 12.87/13.08 ***HERE*** & s__result(V__DIALYSIS,V__SUBSTANCE2)
% 12.87/13.08 & s__instance(V__SUBSTANCE2,s__PureSubstance)
% 12.87/13.08 & - ( =(V__SUBSTANCE1,V__SUBSTANCE2) ) ) ) ) ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 s__documentation(s__Debating,s__EnglishLanguage,'A &
% 12.87/13.08 ***HERE*** -> s__geopoliticalSubdivision(V__AGENT,V__NATION) ) ) ) ) ) ) ) ) ) ).
% 12.87/13.08
% 12.87/13.08 ERROR, name too big, max is 255;
% 12.87/13.08 ERROR, name expected:
% 12.87/13.08
% 12.87/13.08
% 12.87/13.08 s__documentation(s__ColorBlind,s__EnglishLanguage,'This &
% 12.87/13.08 ***HERE*** & s__attribute(V__RESOURCE1,V__PRIMARY1)
% 12.87/13.08 & s__attribute(V__RESOURCE2,V__PRIMARY2)
% 14.06/14.25 & s__instance(V__PRIMARY1,s__PrimaryColor)
% 14.06/14.25 & s__instance(V__PRIMARY2,s__PrimaryColor)
% 14.06/14.25 & - ( =(V__PRIMARY1,V__PRIMARY2) ) ) ) ) ) ) ) ).
% 14.06/14.25
% 14.06/14.25 ERROR, name too big, max is 255;
% 14.06/14.25 ERROR, name expected:
% 14.06/14.25
% 14.06/14.25
% 14.06/14.25 ( all V__BUILDING V__CONTRACTOR (
% 14.06/14.25 ( s__instance(V__CONTRACTOR,s__CognitiveAgent)
% 14.06/14.25 -> ( s__contractor(V__BUILDING,V__CONTRACTOR)
% 14.06/14.25 -> ( exists V__CONTRACT V__AGENT (
% 14.06/14.25 ( s__property(V__CONTRACT,s__Contract)
% 14.06/14.25 & s__partyToAgreement(V__AGENT,V__CONTRACT)
% 14.06/14.25 & s__partyToAgreement(V__CONTRACTOR,V__CONTRACT)
% 14.06/14.25 & s__confersObligation('(? [V__CONSTRUCT,V__BUILDING] : (s__instance(V__CONSTRUCT,s__Process) & s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CONTRACT,s__Agreement) & s__instance(V__CONSTRUCT,s__Constructing) & s__agent(V__CONSTRUCT,V__CONTRACTOR) & s__result(V__CONST ***HERE*** RUCT,V__BUILDING) & s__instance(V__BUILDING,s__StationaryArtifact)))',V__AGENT,V__CONTRACTOR) ) ) ) ) ) ) ).
% 14.06/14.25
% 14.06/14.25 ERROR, name too big, max is 255;
% 14.06/14.25 ERROR, name expected:
% 14.06/14.25
% 14.06/14.25
% 14.06/14.25 s__documentation(s__Circumision,s__EnglishLanguage,'&
% 14.06/14.25 ***HERE*** & s__capability(V__PROCESS1,s__agent__m,V__DOCTOR)
% 14.06/14.25 & s__capability(V__PROCESS2,s__agent__m,V__DOCTOR) ) ) ) ) ) ) ).
% 14.06/14.25
% 14.06/14.25 ERROR, name too big, max is 255;
% 14.06/14.25 ERROR, name expected:
% 14.06/14.25
% 14.06/14.25
% 14.06/14.25 s__documentation(s__HostageTaking,s__EnglishLanguage,'An event in which one agent keeps another against his or her will, in order to force it or a third agent to accede to some demand. The hostages are typically kept in the place where they are first taken hostage, in contrast to a &
% 14.06/14.25 ***HERE*** & - ( =(V__A1,V__A2) )
% 14.06/14.25 & s__desires(V__A2,'(? [V__I] : (s__instance(V__I,s__Process) & s__instance(V__A2,s__CognitiveAgent) & s__instance(V__C1,s__SetOrClass) & s__subclass(V__C1,s__Process) & s__instance(V__I,V__C1) & s__agent(V__I,V__A1) & s__subProcess(V__I,V__C)))') ) ) ) ) ) ) ).
% 14.06/14.25
% 14.06/14.25 ERROR, name too big, max is 255;
% 14.06/14.25 ERROR, name expected:
% 14.06/14.25
% 14.06/14.25
% 14.06/14.25 s__documentation(s__Kidnapping,s__EnglishLanguage,'An event in which one agent keeps another against his or her will, in order to force it or a third agent to accede to some demand. The kidnapped party is normally removed from the location where first attacked. In contrast to a &
% 14.06/14.25 ***HERE*** & - ( =(V__A1,V__A2) )
% 14.06/14.25 & s__desires(V__A2,'(? [V__I] : (s__instance(V__I,s__Process) & s__instance(V__A2,s__CognitiveAgent) & s__instance(V__C1,s__SetOrClass) & s__subclass(V__C1,s__Process) & s__instance(V__I,V__C1) & s__agent(V__I,V__A1) & s__subProcess(V__I,V__C)))') ) ) ) ) ) ) ).
% 14.06/14.25
% 14.06/14.25 ERROR, name too big, max is 255;
% 14.06/14.25 ERROR, name expected:
% 14.06/14.25
% 14.06/14.25
% 14.06/14.25 s__documentation(s__Knife,s__EnglishLanguage,'A sharp object used for cutting. The object must have at least single blade or major protrusion which may be sharp at its end as well. It may be sharp on both sides, or just one. Unlike an awl it has a sharp edge rather than a point. Unlike scissors, it i ***HERE*** s a single blade without additional articulated parts. Unlike an axe, a knife is well-designed for slicing rather than chopping, although a heavy knife such as a broadsword can also be used for chopping, whereas a non-knife is not well designed for slicing meat for example. A knife can be small like a pocket knife, or large like a two-handed broadsword. A knife may also include other protrusions such as in the split swords and trident-like objects (that also possess a long sharp edge) in Chinese weaponry.').
% 14.06/14.25
% 14.06/14.25 ERROR, name too big, max is 255;
% 14.06/14.25 ERROR, name expected:
% 14.06/14.25
% 14.06/14.25
% 14.06/14.25 s__documentation(s__Lynching,s__EnglishLanguage,'A lynching is a form of &
% 14.06/14.25 ***HERE*** & s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))') ) ) ) ) ).
% 14.06/14.25
% 14.06/14.25 ERROR, name too big, max is 255;
% 14.06/14.25 ERROR, name expected:
% 14.06/14.25
% 14.06/14.25
% 14.40/14.62 s__documentation(s__Mortar,s__EnglishLanguage,'A mortar is a bomb that is shot at a location. A howitzer is a weapon that fires mortars. The mortar may not include the propelling charge that provides the motive force for delivering it to its target, which distinguishes it from a rocket. A mortar is di ***HERE*** stinguished from other bombs in that it is propelled rather than exploded in place, or dropped, or propelled by human power.').
% 14.40/14.62
% 14.40/14.62 ERROR, name too big, max is 255;
% 14.40/14.62 ERROR, name expected:
% 14.40/14.62
% 14.40/14.62
% 14.40/14.62 s__documentation(s__Stoning,s__EnglishLanguage,'An act where a victim or victims is attacked with stones. The stones may either be placed on top of a victim in order to cause death by pressure and suffocation, in which case the act is typically part of a ritualized legal sentence, or where the victim i ***HERE*** s pelted with stones causing injury or death by trauma. The intent of such an act is usually the death of the victim.').
% 14.40/14.62
% 14.40/14.62 ERROR, name too big, max is 255;
% 14.40/14.62 ERROR, name expected:
% 14.40/14.62
% 14.40/14.62
% 14.40/14.62 s__documentation(s__SuicideBombing,s__EnglishLanguage,'A bomb attack in which the bomber intends to blow himself up during the course of the attack. The bomber is the delivery mechanism for the explosive and the bomb is typically in close contact with the bomber, such as being strapped around his torso. This ***HERE*** action is distinguished from actions in which the bomber merely happens to be blown up by his own bomb in that the bomber knows that he is committing suicide.').
% 14.40/14.62
% 14.40/14.62 ERROR, name too big, max is 255;
% 14.40/14.62 ERROR, name expected:
% 14.40/14.62
% 14.40/14.62
% 14.40/14.62 s__documentation(s__BusinessPerson,s__EnglishLanguage,'Any of a class of people in a professional occupation such as banking, finance, management, or engineering. This is distinguished from blue collar jobs that primarily involve manual labor rather than thought as the effort expended to derive remuneration. ***HERE*** It is also distinguished from professions that may be outwardly similar but are done in a non-profit organization.').
% 14.40/14.62
% 14.40/14.62 ERROR, name too big, max is 255;
% 14.40/14.62 ERROR, name expected:
% 14.40/14.62
% 14.40/14.62
% 14.40/14.62 s__documentation(s__Convoy,s__EnglishLanguage,'A group of vehicles that all are being driven in formation (e.g., lines, rows, columns) to the same destination. That destination may be an intermediate destination on the way to a final destination for some of the vehicles however. This is distinguished ***HERE*** from vehicles that have no common purpose, such as traffic on a freeway. This includes cases where some of the agents driving the vehicles intend to reach a point but fail to do so.').
% 14.40/14.62
% 14.40/14.62 ERROR, name too big, max is 255;
% 14.40/14.62 ERROR, name expected:
% 14.40/14.62
% 14.40/14.62
% 14.40/14.62 ( all V__X (
% 14.40/14.62 ( s__instance(V__X,s__Object)
% 14.40/14.62 -> ( s__instance(V__X,s__RestaurantBuilding)
% 14.40/14.62 -> s__hasPurpose(V__X,'(? [V__OWN,V__EMP,V__EV,V__P,V__PAY] : (s__instance(V__PAY,s__Process) & s__instance(V__P,s__CognitiveAgent) & s__instance(V__EV,s__Process) & s__instance(V__EMP,s__CognitiveAgent) & s__instance(V__EMP,s__Formula) & s__instance(V__OWN,s__Organization) & s ***HERE*** __employs(V__OWN,V__EMP) & s__possesses(V__OWN,V__X) & s__instance(V__P,s__Human) & s__instance(V__PAY,s__FinancialTransaction) & s__agent(V__PAY,V__P) & s__patient(V__PAY,V__EMP) & s__confersRight(V__EMP,V__EV,V__P) & s__instance(V__EV,s__Eating) & s__agent(V__EV,V__P) & s__eventLocated(V__EV,V__X)))') ) ) ) ).
% 14.40/14.62
% 14.40/14.62 ERROR, name too big, max is 255;
% 14.40/14.62 ERROR, name expected:
% 14.40/14.62
% 14.40/14.62
% 14.40/14.62 s__documentation(s__Subway,s__EnglishLanguage,'A subway is a hollow area of the earth, typically under large cities, designed for running trains that move people. It is distinguished from other kinds of tunnels in that trains run through them, primarily for the purpose of carrying people rather than o ***HERE*** re, for example.').
% 14.40/14.62
% 14.40/14.62 ERROR, name too big, max is 255;
% 14.40/14.62 ERROR, name expected:
% 14.40/14.62
% 14.40/14.62
% 14.40/14.62 s__documentation(s__TerroristOrganization,s__EnglishLanguage,'A group that uses violent means in an attempt to bring about their political aims. Those violent means are distinguished from a war between nations, or a civil war in that the group is at least partially clandestine and a significant proportion of its act ***HERE*** s are against non-military targets.').
% 14.40/14.62
% 14.40/14.62 ERROR, name too big, max is 255;
% 14.40/14.62 ERROR, name expected:
% 14.40/14.62
% 14.40/14.62
% 14.40/14.62 s__documentation(s__Taxonomy,s__EnglishLanguage,'A &
% 15.56/15.78 ***HERE*** & s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))') ) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__Ontology,s__EnglishLanguage,'An &
% 15.56/15.78 ***HERE*** & s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))') ) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__stranger__m,s__EnglishLanguage,'(&
% 15.56/15.78 ***HERE*** -> s__locatedAtTime(V__OBJ,V__TIME,V__PLACE) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__mutualStranger__m,s__EnglishLanguage,'(&
% 15.56/15.78 ***HERE*** -> s__locatedAtTime(V__OBJ,V__TIME,V__PLACE) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__Signalling,s__EnglishLanguage,'Signalling is the subclass of &
% 15.56/15.78 ***HERE*** & s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))') ) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__initialPart__m,s__EnglishLanguage,'Every instance of the first argument is initially found as part of an instance of the second argument, even though it might lose that part later in its lifetime. While the part must initially exist as part of a whole, this does not say that each whole nec ***HERE*** essarily initially contains such a part. For example, a thumb must at some time have been part of a hand, but every hand need not have a thumb, even at birth. This is a class-level relation roughly corresponding to &
% 15.56/15.78 & =(V__NOTPARTPROB,s__ProbabilityFn('(~ (? [V__X2] : (s__instance(V__X2,s__Object) & s__instance(V__X2,V__PART) & s__part(V__X2,V__Y))))')) )
% 15.56/15.78 -> greater(V__PARTPROB,V__NOTPARTPROB) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__initiallyContainsPart__m,s__EnglishLanguage,'Every instance of the second argument initially contains an instance of the first argument, even though it might lose that part later in its lifetime. Every normal human starts life with an appendix for example. While the whole must initially contain such ***HERE*** a part, this does not say that each part necessarily initially exists as part of such a whole. This is a class-level relation roughly corresponding to &
% 15.56/15.78 & =(V__NOTPARTPROB,s__ProbabilityFn('(~ (? [V__X2] : (s__instance(V__X2,s__Object) & s__instance(V__X2,V__PART) & s__part(V__X2,V__Y))))')) )
% 15.56/15.78 -> greater(V__PARTPROB,V__NOTPARTPROB) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__equipmentCount__m,s__EnglishLanguage,'(&
% 15.56/15.78 ***HERE*** & =(V__NOTPARTPROB,s__ProbabilityFn('(~ (? [V__X2] : (s__instance(V__X2,s__Object) & s__instance(V__X2,V__PART) & s__part(V__X2,V__Y))))')) )
% 15.56/15.78 -> greater(V__PARTPROB,V__NOTPARTPROB) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__subString__m,s__EnglishLanguage,'(&
% 15.56/15.78 ***HERE*** & =(V__NOTPARTPROB,s__ProbabilityFn('(~ (? [V__X2] : (s__instance(V__X2,s__Object) & s__instance(V__X2,V__PART) & s__part(V__X2,V__Y))))')) )
% 15.56/15.78 -> greater(V__PARTPROB,V__NOTPARTPROB) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__SubstringFn__m,s__EnglishLanguage,'(&
% 15.56/15.78 ***HERE*** & s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))') ) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 15.56/15.78 s__documentation(s__StringLengthFn__m,s__EnglishLanguage,'This &
% 15.56/15.78 ***HERE*** & less(V__START,V__LEN)
% 15.56/15.78 & lesseq(V__END,V__LEN) ) ) ) ) ).
% 15.56/15.78
% 15.56/15.78 ERROR, name too big, max is 255;
% 15.56/15.78 ERROR, name expected:
% 15.56/15.78
% 15.56/15.78
% 16.39/16.58 s__documentation(s__StringConcatenateFn__m,s__EnglishLanguage,'The result of applying this &
% 16.39/16.58 ***HERE*** & less(V__START,V__LEN)
% 16.39/16.58 & lesseq(V__END,V__LEN) ) ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 s__documentation(s__stringConcatenation__m,s__EnglishLanguage,'(&
% 16.39/16.58 ***HERE*** & lesseq(V__END,V__LEN) ) ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 s__documentation(s__precedesInString__m,s__EnglishLanguage,'(&
% 16.39/16.58 ***HERE*** & s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))') ) ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 s__documentation(s__TelephonyDevice,s__EnglishLanguage,'A &
% 16.39/16.58 ***HERE*** & s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))') ) ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 s__documentation(s__telecomCountryCode__m,s__EnglishLanguage,'(&
% 16.39/16.58 ***HERE*** & s__instance(V__UNIT,s__Room)
% 16.39/16.58 & s__names(V__UNITSTR,V__UNIT)
% 16.39/16.58 & s__located(V__UNIT,V__BLDG) ) ) ) ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 s__documentation(s__telecomAreaCode__m,s__EnglishLanguage,'(&
% 16.39/16.58 ***HERE*** & s__names(V__UNITSTR,V__UNIT)
% 16.39/16.58 & s__located(V__UNIT,V__BLDG) ) ) ) ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 ( all V__BOARD (
% 16.39/16.58 ( s__instance(V__BOARD,s__Object)
% 16.39/16.58 -> ( s__instance(V__BOARD,s__IroningBoard)
% 16.39/16.58 -> s__hasPurpose(V__BOARD,'(? [V__IRON,V__FABRIC,V__OBJ] : (s__instance(V__OBJ,s__Object) & s__instance(V__FABRIC,s__Object) & s__instance(V__IRON,s__Process) & s__instance(V__IRON,s__Ironing) & s__patient(V__IRON,V__OBJ) & s__part(V__FABRIC,V__OBJ) & s__instance(V__FABRIC,s__Fabri ***HERE*** c) & s__holdsDuring(s__WhenFn(V__IRON),s__orientation(V__OBJ,V__BOARD,s__On))))') ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 ( all V__TUB (
% 16.39/16.58 ( s__instance(V__TUB,s__Object)
% 16.39/16.58 -> ( s__instance(V__TUB,s__WhirlpoolTub)
% 16.39/16.58 -> ( exists V__VALVE (
% 16.39/16.58 ( s__instance(V__VALVE,s__PressureControlValve)
% 16.39/16.58 & s__part(V__VALVE,V__TUB)
% 16.39/16.58 & s__hasPurpose(V__VALVE,'(? [V__WATER,V__CREATION,V__MOTION] : (s__instance(V__MOTION,s__Physical) & s__instance(V__CREATION,s__Process) & s__instance(V__WATER,s__Object) & s__instance(V__VALVE,s__Object) & s__instance(V__WATER,s__Water) & s__located(V__WATER,V__TUB) & s__instanc ***HERE*** e(V__CREATION,s__Creation) & s__instrument(V__CREATION,V__VALVE) & s__result(V__CREATION,V__MOTION) & s__instance(V__MOTION,s__Motion) & s__located(V__MOTION,V__WATER)))') ) ) ) ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 ( all V__X (
% 16.39/16.58 ( s__instance(V__X,s__Object)
% 16.39/16.58 -> ( ( s__instance(V__X,s__WhirlpoolTub)
% 16.39/16.58 & s__attribute(V__X,s__DoubleSize) )
% 16.39/16.58 -> s__modalAttribute('(? [V__T1] : s__holdsDuring(V__T1,(? [V__P1,V__P2] : (s__instance(V__P2,s__Physical) & s__instance(V__P1,s__Physical) & s__instance(V__T1,s__TimePosition) & s__instance(V__P1,s__Human) & s__instance(V__P2,s__Human) & (~ (V__P1 = V__P2)) & s__located(V__P1 ***HERE*** ,V__X) & s__located(V__P2,V__X)))))',s__Possibility) ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 ( all V__AC (
% 16.39/16.58 ( s__instance(V__AC,s__Agent)
% 16.39/16.58 -> ( s__instance(V__AC,s__AlarmClock)
% 16.39/16.58 -> s__hasPurpose(V__AC,'(? [V__TIME,V__M,V__Q] : (s__instance(V__M,s__Measuring) & s__agent(V__M,V__AC) & s__result(V__M,V__Q) & (V__Q = V__TIME) & s__holdsDuring(s__WhenFn(V__M),(? [V__S] : (s__instance(V__S,s__Process) & s__instance(V__M,s__Process) & s__instance(V__S,s__Radia ***HERE*** tingSound) & s__agent(V__S,V__AC))))))') ) ) ) ).
% 16.39/16.58
% 16.39/16.58 ERROR, name too big, max is 255;
% 16.39/16.58 ERROR, name expected:
% 16.39/16.58
% 16.39/16.58
% 16.39/16.58 ( all V__RV (
% 16.39/16.58 ( s__instance(V__RV,s__Object)
% 16.39/16.58 -> ( s__instance(V__RV,s__RecreationalVehicle)
% 16.51/16.71 -> s__modalAttribute('(? [V__BED,V__DINING,V__KITCHEN] : (s__instance(V__KITCHEN,s__Physical) & s__instance(V__DINING,s__Physical) & s__instance(V__BED,s__Physical) & s__instance(V__BED,s__Bed) & s__instance(V__DINING,s__DiningArea) & s__instance(V__KITCHEN,s__KitchenArea) & s ***HERE*** __located(V__BED,V__RV) & s__located(V__DINING,V__RV) & s__located(V__KITCHEN,V__RV)))',s__Likely) ) ) ) ).
% 16.51/16.71
% 16.51/16.71 ERROR, name too big, max is 255;
% 16.51/16.71 ERROR, name expected:
% 16.51/16.71
% 16.51/16.71
% 16.51/16.71 ( all V__LOCK (
% 16.51/16.71 ( s__instance(V__LOCK,s__Object)
% 16.51/16.71 -> ( s__instance(V__LOCK,s__ElectronicLock)
% 16.51/16.71 -> s__hasPurpose(V__LOCK,'(? [V__ES,V__PROC] : (s__instance(V__PROC,s__Process) & s__instance(V__ES,s__Process) & s__instance(V__ES,s__ElectronicSignalling) & s__destination(V__ES,V__LOCK) & s__instance(V__PROC,s__Opening) & s__instrument(V__PROC,V__LOCK) & s__before(s__BeginFn(s_ ***HERE*** _WhenFn(V__ES)),s__BeginFn(s__WhenFn(V__PROC)))))') ) ) ) ).
% 16.51/16.71
% 16.51/16.71 ERROR, name too big, max is 255;
% 16.51/16.71 ERROR, ')' expected:
% 16.51/16.71
% 16.51/16.71
% 16.51/16.71 ( all V__DOOR V__ROOM V__KL (
% 16.51/16.71 ( ( s__instance(V__KL,s__Agent)
% 16.51/16.71 & s__instance(V__ROOM,s__Object)
% 16.51/16.71 & s__instance(V__DOOR,s__Agent) )
% 16.51/16.71 -> ( ( s__instance(V__KL,s__KnockLight)
% 16.51/16.71 & s__instance(V__ROOM,s__Room)
% 16.51/16.71 & s__located(V__KL,V__ROOM)
% 16.51/16.71 & s__instance(V__DOOR,s__Door)
% 16.51/16.71 & s__part(V__DOOR,V__ROOM) )
% 16.51/16.71 -> s__hasPurpose(V__KL,'(? [V__SOUND,V__LIGHT,V__IMPACT] : (s__instance(V__IMPACT,s__Process) & s__instance(V__LIGHT,s__Process) & s__instance(V__SOUND,s__Process) & s__instance(V__IMPACT,s__Impacting) & s__patient(V__IMPACT,V__DOOR) & s__causes(V__IMPACT,V__SOUND) & s__instance(V__SOUND ***HERE*** ,s__RadiatingSound) & s__agent(V__SOUND,V__DOOR) & s__causes(V__SOUND,V__LIGHT) & s__instance(V__LIGHT,s__RadiatingLight) & s__agent(V__LIGHT,V__KL)))') ) ) ) ).
% 16.51/16.71
% 16.51/16.71 ERROR, name too big, max is 255;
% 16.51/16.71 ERROR, name expected:
% 16.51/16.71
% 16.51/16.71
% 16.51/16.71 ( all V__MAT (
% 16.51/16.71 ( s__instance(V__MAT,s__Object)
% 16.51/16.71 -> ( s__instance(V__MAT,s__PrayerMat)
% 16.51/16.71 -> s__hasPurpose(V__MAT,'(? [V__PRAY,V__PERSON] : (s__instance(V__PERSON,s__Agent) & s__instance(V__PRAY,s__Process) & s__instance(V__PRAY,s__Praying) & s__agent(V__PRAY,V__PERSON) & s__instance(V__PERSON,s__Human) & s__holdsDuring(s__WhenFn(V__PRAY),s__orientation(V__PERSON,V__M ***HERE*** AT,s__On))))') ) ) ) ).
% 16.51/16.71
% 16.51/16.71 ERROR, name too big, max is 255;
% 16.51/16.71 ERROR, name expected:
% 16.51/16.71
% 16.51/16.71
% 16.51/16.71 ( all V__X (
% 16.51/16.71 ( s__instance(V__X,s__Agent)
% 16.51/16.71 -> ( s__instance(V__X,s__VideoGamePlayer)
% 16.51/16.71 -> s__hasPurpose(V__X,'(? [V__GAME,V__RL,V__MOVE,V__CONTROLLER,V__PLAYER] : (s__instance(V__PLAYER,s__Agent) & s__instance(V__CONTROLLER,s__Object) & s__instance(V__MOVE,s__Process) & s__instance(V__RL,s__Process) & s__instance(V__GAME,s__Process) & s__instance(V__GAME,s__Video ***HERE*** Game) & s__instrument(V__GAME,V__X) & s__agent(V__GAME,V__PLAYER) & s__instance(V__MOVE,s__Maneuver) & s__instrument(V__MOVE,V__CONTROLLER) & s__agent(V__MOVE,V__PLAYER) & s__subProcess(V__MOVE,V__GAME) & s__part(V__CONTROLLER,V__X) & s__instance(V__RL,s__RadiatingLight) & s__agent(V__RL,V__X) & s__patient(V__RL,V__GAME)))') ) ) ) ).
% 16.51/16.71
% 16.51/16.71 ERROR, name too big, max is 255;
% 16.51/16.71 ERROR, name expected:
% 16.51/16.71
% 16.51/16.71
% 16.51/16.71 ( all V__X (
% 16.51/16.71 ( s__instance(V__X,s__EngineeringComponent)
% 16.51/16.71 -> ( s__instance(V__X,s__ElectricalOutlet)
% 16.51/16.71 -> s__hasPurpose(V__X,'(? [V__POWER,V__WIRE] : (s__instance(V__WIRE,s__EngineeringConnection) & s__instance(V__POWER,s__EngineeringComponent) & s__instance(V__POWER,s__PowerSource) & s__instance(V__WIRE,s__Collection) & s__memberType(V__WIRE,s__WireLine) & s__connectsEngineerin ***HERE*** gComponents(V__WIRE,V__X,V__POWER)))') ) ) ) ).
% 16.51/16.71
% 16.51/16.71 ERROR, name too big, max is 255;
% 16.51/16.71 ERROR, name expected:
% 16.51/16.71
% 16.51/16.71
% 16.51/16.71 ( all V__ADAPT (
% 16.51/16.71 ( ( s__instance(V__ADAPT,s__Hole)
% 16.51/16.71 & s__instance(V__ADAPT,s__EngineeringConnection) )
% 16.51/16.71 -> ( s__instance(V__ADAPT,s__OutletAdapter)
% 16.51/16.71 -> s__hasPurpose(V__ADAPT,'(? [V__OUTLET,V__PLUG] : (s__instance(V__PLUG,s__EngineeringComponent) & s__instance(V__OUTLET,s__Hole) & s__instance(V__OUTLET,s__EngineeringComponent) & s__instance(V__PLUG,s__ElectricalPlug) & s__instance(V__OUTLET,s__ElectricalOutlet) & s__completelyF ***HERE*** ills(V__PLUG,V__ADAPT) & s__completelyFills(V__ADAPT,V__OUTLET) & s__connectsEngineeringComponents(V__ADAPT,V__PLUG,V__OUTLET)))') ) ) ) ).
% 16.51/16.71
% 16.51/16.71 ERROR, name too big, max is 255;
% 16.69/16.86 ERROR, name expected:
% 16.69/16.86
% 16.69/16.86
% 16.69/16.86 ( all V__X (
% 16.69/16.86 ( s__instance(V__X,s__Object)
% 16.69/16.86 -> ( s__instance(V__X,s__AirConditioner)
% 16.69/16.86 -> s__hasPurpose(V__X,'(? [V__PROC,V__TEMP,V__AREA] : (s__instance(V__AREA,s__Object) & s__instance(V__TEMP,s__TemperatureMeasure) & s__located(V__X,V__AREA) & s__instance(V__PROC,s__Process) & s__instrument(V__PROC,V__X) & s__result(V__PROC,s__airTemperature(V__AREA,V__TEMP))) ***HERE*** )') ) ) ) ).
% 16.69/16.86
% 16.69/16.86 ERROR, name too big, max is 255;
% 16.69/16.86 ERROR, name expected:
% 16.69/16.86
% 16.69/16.86
% 16.69/16.86 ( all V__X (
% 16.69/16.86 ( s__instance(V__X,s__Object)
% 16.69/16.86 -> ( s__instance(V__X,s__Earphone)
% 16.69/16.86 -> s__hasPurpose(V__X,'(? [V__ES,V__RS,V__SIGNAL,V__EAR,V__PROC] : (s__instance(V__EAR,s__Object) & s__instance(V__RS,s__Process) & s__instance(V__ES,s__Process) & s__instance(V__ES,s__ElectricalSignalling) & s__patient(V__ES,V__SIGNAL) & s__destination(V__ES,V__X) & s__instanc ***HERE*** e(V__PROC,s__Process) & s__instrument(V__PROC,V__X) & s__patient(V__PROC,V__SIGNAL) & s__result(V__PROC,V__RS) & s__instance(V__RS,s__RadiatingSound) & s__origin(V__RS,V__X) & s__before(s__BeginFn(s__WhenFn(V__ES)),s__BeginFn(s__WhenFn(V__PROC))) & s__before(s__BeginFn(s__WhenFn(V__PROC)),s__BeginFn(s__WhenFn(V__RS))) & s__instance(V__EAR,s__Ear) & s__orientation(V__X,V__EAR,s__Adjacent)))') ) ) ) ).
% 16.69/16.86
% 16.69/16.86 ERROR, name too big, max is 255;
% 16.69/16.86 ERROR, name expected:
% 16.69/16.86
% 16.69/16.86
% 16.69/16.86 ( all V__X (
% 16.69/16.86 ( s__instance(V__X,s__PublicAddressSystem)
% 16.69/16.86 -> s__hasPurpose(V__X,'(? [V__RS,V__AREA,V__GRP] : (s__instance(V__AREA,s__LandArea) & s__located(V__X,V__AREA) & s__instance(V__GRP,s__GroupOfPeople) & s__located(V__GRP,V__AREA) & s__instance(V__RS,s__RadiatingSound) & s__instrument(V__RS,V__X) & (! [V__PERSON] : ((s__instanc ***HERE*** e(V__PERSON,s__SelfConnectedObject) & s__instance(V__PERSON,s__Agent) & s__instance(V__X,s__Object)) => (s__member(V__PERSON,V__GRP) => (? [V__HEAR] : (s__instance(V__HEAR,s__Process) & s__instance(V__GRP,s__Collection) & s__instance(V__AREA,s__Object) & s__instance(V__RS,s__Process) & s__instance(V__HEAR,s__Hearing) & s__patient(V__HEAR,V__RS) & s__agent(V__HEAR,V__PERSON))))))))') ) ) ).
% 16.69/16.86
% 16.69/16.86 ERROR, name too big, max is 255;
% 16.69/16.86 ERROR, name expected:
% 16.69/16.86
% 16.69/16.86
% 16.69/16.86 ( all V__X (
% 16.69/16.86 ( s__instance(V__X,s__Object)
% 16.69/16.86 -> ( s__instance(V__X,s__Wheelchair)
% 16.69/16.86 -> s__hasPurpose(V__X,'(? [V__TRANSPORT,V__HUMAN] : (s__instance(V__HUMAN,s__Agent) & s__instance(V__TRANSPORT,s__Process) & s__instance(V__HUMAN,s__Human) & (~ s__capability(s__Walking,s__agent__m,V__HUMAN)) & s__instance(V__TRANSPORT,s__Transportation) & s__agent(V__TRANSPORT ***HERE*** ,V__HUMAN) & s__instrument(V__TRANSPORT,V__X)))') ) ) ) ).
% 16.69/16.86
% 16.69/16.86 ERROR, name too big, max is 255;
% 16.69/16.86 ERROR, name expected:
% 16.69/16.86
% 16.69/16.86
% 16.69/16.86 ( all V__X (
% 16.69/16.86 ( s__instance(V__X,s__Object)
% 16.69/16.86 -> ( ( s__attribute(V__X,s__WheelchairAccessible)
% 16.69/16.86 & ( s__instance(V__X,s__Building)
% 16.69/16.86 | s__instance(V__X,s__Room) ) )
% 16.69/16.86 -> s__modalAttribute('(? [V__MOTION,V__WHEELCHAIR] : (s__instance(V__WHEELCHAIR,s__Object) & s__instance(V__MOTION,s__Process) & s__instance(V__MOTION,s__Motion) & s__instrument(V__MOTION,V__WHEELCHAIR) & s__instance(V__WHEELCHAIR,s__Wheelchair) & s__eventLocated(V__MOTION,V__ ***HERE*** X)))',s__Possibility) ) ) ) ).
% 16.69/16.86
% 16.69/16.86 ERROR, name too big, max is 255;
% 16.69/16.86 ERROR, name expected:
% 16.69/16.86
% 16.69/16.86
% 16.69/16.86 ( all V__X (
% 16.69/16.86 ( s__instance(V__X,s__Object)
% 16.69/16.86 -> ( s__instance(V__X,s__MultimediaProjector)
% 16.69/16.86 -> s__hasPurpose(V__X,'(? [V__RS,V__SCREEN,V__VIDEO] : (s__instance(V__SCREEN,s__Object) & s__instance(V__RS,s__Process) & s__instance(V__RS,s__RadiatingLight) & s__instrument(V__RS,V__X) & s__patient(V__RS,V__VIDEO) & (s__instance(V__VIDEO,s__VideoRecording) | s__instance(V__V ***HERE*** IDEO,s__Image)) & s__destination(V__RS,V__SCREEN) & s__instance(V__SCREEN,s__Artifact) & s__attribute(V__SCREEN,s__Flat) & (~ s__connected(V__X,V__SCREEN))))') ) ) ) ).
% 16.69/16.86
% 16.69/16.86 ERROR, name too big, max is 255;
% 16.69/16.86 ERROR, name expected:
% 16.69/16.86
% 16.69/16.86
% 16.69/16.86 ( all V__X (
% 16.69/16.86 ( s__instance(V__X,s__Object)
% 16.69/16.86 -> ( s__instance(V__X,s__AudioRecorder)
% 17.10/17.33 -> s__hasPurpose(V__X,'(? [V__RS,V__RECORD,V__PROC] : (s__instance(V__PROC,s__Process) & s__instance(V__RS,s__RadiatingSound) & s__instance(V__PROC,s__IntentionalProcess) & s__instrument(V__PROC,V__X) & s__patient(V__PROC,V__RS) & s__result(V__PROC,V__RECORD) & s__instance(V__R ***HERE*** ECORD,s__AudioRecording)))') ) ) ) ).
% 17.10/17.33
% 17.10/17.33 ERROR, name too big, max is 255;
% 17.10/17.33 ERROR, name expected:
% 17.10/17.33
% 17.10/17.33
% 17.10/17.33 s__documentation(s__Document,s__EnglishLanguage,'Instances of &
% 17.10/17.33 ***HERE*** & s__origin(V__RE,V__POWER)
% 17.10/17.33 & s__destination(V__RE,V__DEVICE) ) ) ) ) ) ) ).
% 17.10/17.33
% 17.10/17.33 ERROR, name too big, max is 255;
% 17.10/17.33 ERROR, name expected:
% 17.10/17.33
% 17.10/17.33
% 17.10/17.33 ( all V__X V__LOC (
% 17.10/17.33 ( ( s__instance(V__LOC,s__Object)
% 17.10/17.33 & s__instance(V__X,s__Object) )
% 17.10/17.33 -> ( ( s__instance(V__X,s__FireAlarm)
% 17.10/17.33 & s__attribute(V__X,s__DeviceOn)
% 17.10/17.33 & s__located(V__X,V__LOC) )
% 17.10/17.33 -> ( exists V__RS (
% 17.10/17.33 ( s__instance(V__RS,s__RadiatingSound)
% 17.10/17.33 & s__instrument(V__RS,V__X)
% 17.10/17.33 & s__hasPurpose(V__RS,'(? [V__GRP] : (s__instance(V__GRP,s__GroupOfPeople) & s__located(V__GRP,V__LOC) & s__knows(V__GRP,(? [V__FIRE] : (s__instance(V__FIRE,s__Process) & s__instance(V__GRP,s__CognitiveAgent) & s__instance(V__RS,s__Process) & s__instance(V__FIRE,s__Fire) & s__e ***HERE*** ventLocated(V__FIRE,V__LOC))))))') ) ) ) ) ) ) ).
% 17.10/17.33
% 17.10/17.33 ERROR, name too big, max is 255;
% 17.10/17.33 ERROR, name expected:
% 17.10/17.33
% 17.10/17.33
% 17.10/17.33 ( all V__GRP V__UNIFORM (
% 17.10/17.33 ( ( s__subclass(V__UNIFORM,s__UniformClothing)
% 17.10/17.33 & s__instance(V__UNIFORM,s__SetOrClass)
% 17.10/17.33 & s__instance(V__GRP,s__Group) )
% 17.10/17.33 -> ( s__hasUniform(V__GRP,V__UNIFORM)
% 17.10/17.33 -> s__modalAttribute('(? [V__PERS,V__CLOTHING,V__TIME] : (s__instance(V__TIME,s__TimePosition) & s__instance(V__CLOTHING,s__WearableItem) & s__instance(V__PERS,s__Animal) & s__member(V__PERS,V__GRP) & s__instance(V__CLOTHING,V__UNIFORM) & s__holdsDuring(V__TIME,s__wears(V__PER ***HERE*** S,V__CLOTHING))))',s__Likely) ) ) ) ).
% 17.10/17.33
% 17.10/17.33 ERROR, name too big, max is 255;
% 17.10/17.33 ERROR, name expected:
% 17.10/17.33
% 17.10/17.33
% 17.10/17.33 ( all V__X (
% 17.10/17.33 ( s__instance(V__X,s__Physical)
% 17.10/17.33 -> ( s__instance(V__X,s__Tripod)
% 17.10/17.33 -> s__hasPurpose(V__X,'(? [V__OBJ,V__PUT,V__PROC] : (s__instance(V__PUT,s__Process) & s__instance(V__OBJ,s__Object) & s__instance(V__OBJ,s__Artifact) & s__instance(V__PUT,s__Putting) & s__patient(V__PUT,V__OBJ) & s__destination(V__PUT,V__X) & s__instance(V__PROC,s__Process) & s ***HERE*** __instrument(V__PROC,V__OBJ) & s__before(s__EndFn(s__WhenFn(V__PUT)),s__BeginFn(s__WhenFn(V__PROC)))))') ) ) ) ).
% 17.10/17.33
% 17.10/17.33 ERROR, name too big, max is 255;
% 17.10/17.33 ERROR, name expected:
% 17.10/17.33
% 17.10/17.33
% 17.10/17.33 ( all V__X (
% 17.10/17.33 ( s__instance(V__X,s__Object)
% 17.10/17.33 -> ( s__instance(V__X,s__RoomHeater)
% 17.10/17.33 -> s__hasPurpose(V__X,'(? [V__AIR,V__HEATING,V__ROOM] : (s__instance(V__ROOM,s__Object) & s__instance(V__HEATING,s__Process) & s__instance(V__AIR,s__Physical) & s__instance(V__AIR,s__Air) & s__instance(V__ROOM,s__Room) & s__located(V__AIR,V__ROOM) & s__instance(V__HEATING,s__He ***HERE*** ating) & s__patient(V__HEATING,V__AIR) & s__instrument(V__HEATING,V__X)))') ) ) ) ).
% 17.10/17.33
% 17.10/17.33 ERROR, name too big, max is 255;
% 17.10/17.33 ERROR, name expected:
% 17.10/17.33
% 17.10/17.33
% 17.10/17.33 ( all V__DISCO (
% 17.10/17.33 ( s__instance(V__DISCO,s__Object)
% 17.10/17.33 -> ( s__instance(V__DISCO,s__DanceHall)
% 17.10/17.33 -> s__hasPurpose(V__DISCO,'(? [V__DANCE,V__MUSIC] : (s__instance(V__MUSIC,s__Process) & s__instance(V__DANCE,s__Process) & s__instance(V__MUSIC,s__MakingMusic) & s__instance(V__DANCE,s__Dancing) & s__cooccur(V__MUSIC,V__DANCE) & s__eventLocated(V__MUSIC,V__DISCO) & s__eventLocated( ***HERE*** V__DANCE,V__DISCO)))') ) ) ) ).
% 17.10/17.33
% 17.10/17.33 ERROR, name too big, max is 255;
% 17.10/17.33 ERROR, name expected:
% 17.10/17.33
% 17.10/17.33
% 17.10/17.33 s__documentation(s__AmericansWithDisabilitiesAct,s__EnglishLanguage,'The &
% 17.10/17.33 ***HERE*** & s__subProcess(V__BREATH,V__SCUBA) ) ) ) ) ) ) ).
% 17.10/17.33
% 17.10/17.33 ERROR, name too big, max is 255;
% 17.10/17.33 ERROR, name expected:
% 17.10/17.33
% 17.10/17.33
% 17.10/17.33 ( all V__X (
% 17.10/17.33 ( s__instance(V__X,s__Object)
% 17.10/17.33 -> ( s__instance(V__X,s__WetBar)
% 17.10/17.33 -> ( exists V__SINK V__OBJ (
% 17.10/17.33 ( s__instance(V__SINK,s__WashBasin)
% 17.10/17.33 & s__part(V__SINK,V__X)
% 17.10/17.33 & s__instance(V__OBJ,s__Object)
% 17.10/17.33 & s__attribute(V__OBJ,s__Flat)
% 17.10/17.33 & s__hasPurpose(V__OBJ,'(? [V__PREP,V__FOOD] : (s__instance(V__PREP,s__Process) & s__instance(V__OBJ,s__Object) & s__instance(V__SINK,s__Object) & s__instance(V__PREP,s__Making) & s__result(V__PREP,V__FOOD) & (s__instance(V__FOOD,s__PreparedFood) | s__instance(V__FOOD,s__Beverag ***HERE*** e)) & s__eventLocated(V__PREP,V__OBJ)))')
% 17.41/17.60 & s__part(V__OBJ,V__X) ) ) ) ) ) ) ).
% 17.41/17.60
% 17.41/17.60 ERROR, name too big, max is 255;
% 17.41/17.60 ERROR, name expected:
% 17.41/17.60
% 17.41/17.60
% 17.41/17.60 ( all V__VIDEO V__X V__LOC1 V__LOC2 V__DISPLAY (
% 17.41/17.60 ( ( s__instance(V__DISPLAY,s__Collection)
% 17.41/17.60 & s__instance(V__LOC2,s__Object)
% 17.41/17.60 & s__instance(V__LOC1,s__Object)
% 17.41/17.60 & s__instance(V__X,s__SelfConnectedObject)
% 17.41/17.60 & s__instance(V__VIDEO,s__Collection) )
% 17.41/17.60 -> ( ( s__instance(V__X,s__SurveillanceSystem)
% 17.41/17.60 & s__member(V__X,V__VIDEO)
% 17.41/17.60 & s__member(V__X,V__DISPLAY)
% 17.41/17.60 & s__located(V__VIDEO,V__LOC1)
% 17.41/17.60 & s__instance(V__VIDEO,s__Camera)
% 17.41/17.60 & s__located(V__DISPLAY,V__LOC2)
% 17.41/17.60 & - ( =(V__LOC1,V__LOC2) )
% 17.41/17.60 & s__instance(V__DISPLAY,s__VideoDisplay) )
% 17.41/17.60 -> s__hasPurpose(V__X,'(? [V__PROC,V__VID,V__RL,V__CAPTURE] : (s__instance(V__CAPTURE,s__Process) & s__instance(V__CAPTURE,s__TimeInterval) & s__instance(V__RL,s__Process) & s__instance(V__RL,s__TimeInterval) & s__instance(V__PROC,s__TimeInterval) & s__instance(V__PROC,s__Proce ***HERE*** ss) & s__eventLocated(V__PROC,V__LOC1) & s__represents(V__VID,V__PROC) & s__instrument(V__CAPTURE,s__Camera) & s__result(V__CAPTURE,V__VID) & s__instance(V__RL,s__RadiatingLight) & s__instrument(V__RL,V__DISPLAY) & s__patient(V__RL,V__VID) & s__before(s__BeginFn(V__PROC),s__BeginFn(V__CAPTURE)) & s__before(s__BeginFn(V__CAPTURE),s__BeginFn(V__RL))))') ) ) ) ).
% 17.41/17.60
% 17.41/17.60 ERROR, name too big, max is 255;
% 17.41/17.60 ERROR, name expected:
% 17.41/17.60
% 17.41/17.60
% 17.41/17.60 ( all V__X V__RESULT (
% 17.41/17.60 ( s__instance(V__X,s__Process)
% 17.41/17.60 -> ( s__instance(V__X,s__OperatorAssistedTelephoneCommunication)
% 17.41/17.60 -> ( exists V__ORIGIN V__DEST V__OPERATOR (
% 17.41/17.60 ( s__origin(V__X,V__ORIGIN)
% 17.41/17.60 & s__destination(V__X,V__DEST)
% 17.41/17.60 & s__instance(V__OPERATOR,s__Human)
% 17.41/17.60 & s__hasPurpose(V__OPERATOR,'(? [V__PROC] : (s__instance(V__PROC,s__IntentionalProcess) & s__agent(V__PROC,V__OPERATOR) & s__subProcess(V__PROC,V__X) & s__result(V__PROC,V__RESULT) & (V__RESULT = s__modalAttribute((? [V__COMM] : (s__instance(V__COMM,s__Process) & s__instance(V__PROC, ***HERE*** s__Process) & s__instance(V__OPERATOR,s__Agent) & s__instance(V__ORIGIN,s__Object) & s__instance(V__COMM,s__Communication) & s__origin(V__COMM,V__ORIGIN) & s__destination(V__COMM,V__DEST))),s__Possibility))))') ) ) ) ) ) ) ).
% 17.41/17.60
% 17.41/17.60 ERROR, name too big, max is 255;
% 17.41/17.60 ERROR, name expected:
% 17.41/17.60
% 17.41/17.60
% 17.41/17.60 ( all V__ORIGIN V__X V__RESULT V__DEST (
% 17.41/17.60 ( ( s__instance(V__X,s__Process)
% 17.41/17.60 & s__instance(V__ORIGIN,s__Object) )
% 17.41/17.60 -> ( s__instance(V__X,s__DirectDialTelephoneCommunication)
% 17.41/17.60 -> - ( ( exists V__OPERATOR (
% 17.41/17.60 ( s__instance(V__OPERATOR,s__Human)
% 17.41/17.60 & s__hasPurpose(V__OPERATOR,'(? [V__PROC] : (s__instance(V__PROC,s__IntentionalProcess) & s__agent(V__PROC,V__OPERATOR) & s__subProcess(V__PROC,V__X) & s__result(V__PROC,V__RESULT) & (V__RESULT = s__modalAttribute((? [V__COMM] : (s__instance(V__COMM,s__Process) & s__instance(V__PROC, ***HERE*** s__Process) & s__instance(V__OPERATOR,s__Agent) & s__instance(V__COMM,s__Communication) & s__origin(V__COMM,V__ORIGIN) & s__destination(V__COMM,V__DEST))),s__Possibility))))') ) ) ) ) ) ) ) ).
% 17.41/17.60
% 17.41/17.60 ERROR, name too big, max is 255;
% 17.41/17.60 ERROR, name expected:
% 17.41/17.60
% 17.41/17.60
% 17.41/17.60 s__documentation(s__Helium,s__EnglishLanguage,'Colourless, odourless gaseous nonmetallic element. Belongs to group 18 of the periodic table. Lowest boiling point of all elements and can only be solidified under pressure. Chemically inert, no known compounds. Discovered in the solar spectrum in 1868 by ***HERE*** Lockyer.').
% 17.41/17.60
% 17.41/17.60 ERROR, name too big, max is 255;
% 17.41/17.60 ERROR, name expected:
% 17.41/17.60
% 17.41/17.60
% 17.41/17.60 s__documentation(s__Boron,s__EnglishLanguage,'An element of group 13 of the periodic table. There are two allotropes, amorphous boron is a brown power, but metallic boron is black. The metallic form is hard (9.3 on Mohs scale) and a bad conductor in room temperatures. It is never found free in nature ***HERE*** . Boron-10 is used in nuclear reactor control rods and shields. It was discovered in 1808 by Sir Humphry Davy and by J.L. Gay-Lussac and L.J. Thenard.').
% 17.41/17.60
% 17.41/17.60 ERROR, name too big, max is 255;
% 17.41/17.60 ERROR, name expected:
% 17.41/17.60
% 17.41/17.60
% 17.52/17.72 s__documentation(s__Carbon,s__EnglishLanguage,'Carbon is a member of group 14 of the periodic table. It has three allotropic forms of it, diamonds, graphite and fullerite. Carbon-14 is commonly used in radioactive dating. Carbon occurs in all organic life and is the basis of organic chemistry. Carbon ***HERE*** has the interesting chemical property of being able to bond with itself, and a wide variety of other elements.').
% 17.52/17.72
% 17.52/17.72 ERROR, name too big, max is 255;
% 17.52/17.72 ERROR, name expected:
% 17.52/17.72
% 17.52/17.72
% 17.52/17.72 s__documentation(s__Nitrogen,s__EnglishLanguage,'Colourless, gaseous element which belongs to group 15 of the periodic table. Constitutes ~78 percent of the atmosphere and is an essential part of the ecosystem. Nitrogen for industrial purposes is acquired by the fractional distillation of liquid air. Ch ***HERE*** emically inactive, reactive generally only at high temperatures or in electrical discharges. It was discovered in 1772 by D. Rutherford.').
% 17.52/17.72
% 17.52/17.72 ERROR, name too big, max is 255;
% 17.52/17.72 ERROR, name expected:
% 17.52/17.72
% 17.52/17.72
% 17.52/17.72 s__documentation(s__Oxygen,s__EnglishLanguage,'A colourless, odourless gaseous element belonging to group 16 of the periodic table. It is the most abundant element present in the earths crust. It also makes up 20.8 percent of the Earths atmosphere. For industrial purposes, it is separated from liquid ***HERE*** air by fractional distillation. It is used in high temperature welding, and in breathing. It commonly comes in the form of Oxygen, but is found as Ozone in the upper atmosphere. It was discovered by Priestley in 1774.').
% 17.52/17.72
% 17.52/17.72 ERROR, name too big, max is 255;
% 17.52/17.72 ERROR, name expected:
% 17.52/17.72
% 17.52/17.72
% 17.52/17.72 s__documentation(s__Fluorine,s__EnglishLanguage,'A poisonous pale yellow gaseous element belonging to group 17 of the periodic table (The halogens). It is the most chemically reactive and electronegative element. It is highly dangerous, causing severe chemical burns on contact with flesh. Fluorine was i ***HERE*** dentified by Scheele in 1771 and first isolated by Moissan in 1886.').
% 17.52/17.72
% 17.52/17.72 ERROR, name too big, max is 255;
% 17.52/17.72 ERROR, name expected:
% 17.52/17.72
% 17.52/17.72
% 17.52/17.72 s__documentation(s__Neon,s__EnglishLanguage,'Colourless gaseous element of group 18 on the periodic table (noble gases). Neon occurs in the atmosphere, and comprises 0.0018 percent of the volume of the atmosphere. It has a distinct reddish glow when used in discharge tubes and neon based lamps. It f ***HERE*** orms almost no chemical compounds. Neon was discovered in 1898 by Sir William Ramsey and M.W. Travers. ').
% 17.52/17.72
% 17.52/17.72 ERROR, name too big, max is 255;
% 17.52/17.72 ERROR, name expected:
% 17.52/17.72
% 17.52/17.72
% 17.52/17.72 s__documentation(s__Magnesium,s__EnglishLanguage,'Silvery metallic element belonging to group 2 of the periodic table (alkaline-earth metals). It is essential for living organisms, and is used in a number of light alloys. Chemically very reactive, it forms a protective oxide coating when exposed to air a ***HERE*** nd burns with an intense white flame. It also reacts with sulphur, nitrogen and the halogens. First isolated by Bussy in 1828.').
% 17.52/17.72
% 17.52/17.72 ERROR, name too big, max is 255;
% 17.52/17.72 ERROR, name expected:
% 17.52/17.72
% 17.52/17.72
% 17.52/17.72 s__documentation(s__Aluminum,s__EnglishLanguage,'Silvery-white lustrous metallic element of group 3 of the periodic table. Highly reactive but protected by a thin transparent layer of the oxide which quickly forms in air. There are many alloys of aluminum, as well as a good number of industrial uses. Ma ***HERE*** kes up 8.1 percent of the Earths crust, by weight. Isolated in 1825 by H.C. Oersted.').
% 17.52/17.72
% 17.52/17.72 ERROR, name too big, max is 255;
% 17.52/17.72 ERROR, name expected:
% 17.52/17.72
% 17.52/17.72
% 17.52/17.72 s__documentation(s__Silicon,s__EnglishLanguage,'Metalloid element belonging to group 14 of the periodic table. It is the second most abundant element in the Earths crust, making up 25.7 percent of it by weight. Chemically less reactive than carbon. First identified by Lavoisier in 1787 and first isolat ***HERE*** ed in 1823 by Berzelius.').
% 17.52/17.72
% 17.52/17.72 ERROR, name too big, max is 255;
% 17.52/17.72 ERROR, name expected:
% 17.52/17.72
% 17.52/17.72
% 17.79/17.96 s__documentation(s__Chlorine,s__EnglishLanguage,'Halogen element. Poisonous greenish-yellow gas. Occurs widely in nature as sodium chloride in seawater. Reacts directly with many elements and compounds, strong oxidizing agent. Discovered by Karl Scheele in 1774. Humphrey David confirmed it as an element ***HERE*** in 1810.').
% 17.79/17.96
% 17.79/17.96 ERROR, name too big, max is 255;
% 17.79/17.96 ERROR, name expected:
% 17.79/17.96
% 17.79/17.96
% 17.79/17.96 s__documentation(s__Potassium,s__EnglishLanguage,'Soft silvery metallic element belonging to group 1 of the periodic table (alkali metals). Occurs naturally in seawater and a many minerals. Highly reactive, chemically, it resembles sodium in its behavior and compounds. Discovered by Sir Humphry Davy in 1 ***HERE*** 807.').
% 17.79/17.96
% 17.79/17.96 ERROR, name too big, max is 255;
% 17.79/17.96 ERROR, name expected:
% 17.79/17.96
% 17.79/17.96
% 17.79/17.96 s__documentation(s__Vanadium,s__EnglishLanguage,'Soft and ductile, bright white metal. Good resistance to corrosion by alkalis, sulphuric and hydrochloric acid. It oxidizes readily about 933K. There are two naturally occurring isotopes of vanadium, and 5 radioisotopes, V-49 having the longest half-life ***HERE*** at 337 days. Vanadium has nuclear applications, the foil is used in cladding titanium to steel, and vanadium-gallium tape is used to produce a superconductive magnet. Originally discovered by Andres Manuel del Rio of Mexico City in 1801. His discovery went unheeded, however, and in 1820, Nils Gabriel Sefstron of Sweden rediscovered it. Metallic vanadium was isolated by Henry Enfield Roscoe in 1867. The name vanadium comes from {Vanadis}, a goddess of Scandinavian mythology. Silvery-white metallic transition element. Vanadium is essential to {ascidian}s. Rats and chickens are also known to require it. Metal powder is a fire hazard, and vanadium compounds should be considered highly toxic. May cause lung cancer if inhaled.').
% 17.79/17.96
% 17.79/17.96 ERROR, name too big, max is 255;
% 17.79/17.96 ERROR, name expected:
% 17.79/17.96
% 17.79/17.96
% 17.79/17.96 s__documentation(s__Iron,s__EnglishLanguage,'Silvery malleable and ductile metallic transition element. Has nine isotopes and is the fourth most abundant element in the earths crust. Required by living organisms as a trace element (used in hemoglobin in humans.) Quite reactive, oxidizes in moist air ***HERE*** , displaces hydrogen from dilute acids and combines with nonmetallic elements.').
% 17.79/17.96
% 17.79/17.96 ERROR, name too big, max is 255;
% 17.79/17.96 ERROR, name expected:
% 17.79/17.96
% 17.79/17.96
% 17.79/17.96 s__documentation(s__Cobalt,s__EnglishLanguage,'Light grey transition element. Some meteorites contain small amounts of metallic cobalt. Generally alloyed for use. Mammals require small amounts of cobalt salts. Cobalt-60, an artificially produced radioactive isotope of Cobalt is an important radioactiv ***HERE*** e tracer and cancer-treatment agent. Discovered by G. Brandt in 1737.').
% 17.79/17.96
% 17.79/17.96 ERROR, name too big, max is 255;
% 17.79/17.96 ERROR, name expected:
% 17.79/17.96
% 17.79/17.96
% 17.79/17.96 s__documentation(s__Gallium,s__EnglishLanguage,'Soft silvery metallic element, belongs to group 13 of the periodic table. The two stable isotopes are Ga-69 and Ga-71. Eight radioactive isotopes are known, all having short half-lives. Gallium Arsenide is used as a semiconductor. Corrodes most other meta ***HERE*** ls by diffusing into their lattice. First identified by Francois Lecoq de Boisbaudran in 1875.').
% 17.79/17.96
% 17.79/17.96 ERROR, name too big, max is 255;
% 17.79/17.96 ERROR, name expected:
% 17.79/17.96
% 17.79/17.96
% 17.79/17.96 s__documentation(s__Krypton,s__EnglishLanguage,'Colorless gaseous element, belongs to the noble gases. Occurs in the air, 0.0001 percent by volume. It can be extracted from liquid air by fractional distillation. Generally not isolated, but used with other inert gases in fluorescent lamps. Five natural ***HERE*** isotopes, and five radioactive isotopes. Kr-85, the most stable radioactive isotope, has a half-life of 10.76 years and is produced in fission reactors. Practically inert, though known to form compounds with {fluorine}.').
% 17.79/17.96
% 17.79/17.96 ERROR, name too big, max is 255;
% 17.79/17.96 ERROR, name expected:
% 17.79/17.96
% 17.79/17.96
% 17.79/17.96 s__documentation(s__Rubidium,s__EnglishLanguage,'Soft silvery metallic element, belongs to group 1 of the periodic table. Rb-97, the naturally occurring isotope, is radioactive. It is highly reactive, with properties similar to other elements in group 1, like igniting spontaneously in air. Discovered sp ***HERE*** ectroscopically in 1861 by W. Bunsen and G.R. Kirchoff.').
% 17.79/17.96
% 17.79/17.96 ERROR, name too big, max is 255;
% 17.79/17.96 ERROR, name expected:
% 17.79/17.96
% 17.79/17.96
% 17.96/18.14 s__documentation(s__Yttrium,s__EnglishLanguage,'Silvery-grey metallic element of group 3 on the periodic table. Found in uranium ores. The only natural isotope is Y-89, there are 14 other artificial isotopes. Chemically resembles the lanthanoids. Stable in the air below 400 degrees, celsius. Discovered ***HERE*** in 1828 by Friedrich Wohler.').
% 17.96/18.14
% 17.96/18.14 ERROR, name too big, max is 255;
% 17.96/18.14 ERROR, name expected:
% 17.96/18.14
% 17.96/18.14
% 17.96/18.14 s__documentation(s__Niobium,s__EnglishLanguage,'Soft, ductile grey-blue metallic transition element. Used in special steels and in welded joints to increase strength. Combines with halogens and oxidizes in air at 200 degrees celsius. Discovered by Charles Hatchett in 1801 and isolated by Blomstrand in ***HERE*** 1864. Called {columbium} originally.').
% 17.96/18.14
% 17.96/18.14 ERROR, name too big, max is 255;
% 17.96/18.14 ERROR, name expected:
% 17.96/18.14
% 17.96/18.14
% 17.96/18.14 s__documentation(s__Molybdenum,s__EnglishLanguage,'Silvery-white, hard metallic transition element. It is chemically unreactive and is not affected by most acids. It oxidizes at high temperatures. There are seven natural isotopes, and four radioisotopes, Mo-93 being the most stable with a half-life of 350 ***HERE*** 0 years. Molybdenum is used in almost all high-strength steels, it has nuclear applications, and is a catalyst in petroleum refining. Discovered in 1778 by Carl Welhelm Scheele of Sweden. Impure metal was prepared in 1782 by Peter Jacob Hjelm. The name comes from the Greek word molybdos which means lead. Trace amounts of molybdenum are required for all known forms of life. All molybdenum compounds should be considered highly toxic, and will also cause severe birth defects.').
% 17.96/18.14
% 17.96/18.14 ERROR, name too big, max is 255;
% 17.96/18.14 ERROR, name expected:
% 17.96/18.14
% 17.96/18.14
% 17.96/18.14 s__documentation(s__Technetium,s__EnglishLanguage,'Radioactive metallic transition element. Can be detected in some stars and the fission products of uranium. First made by Perrier and Segre by bombarding molybdenum with deutrons, giving them Tc-97. Tc-99 is the most stable isotope with a half-life of 2.6 ***HERE*** *10^6 years. Sixteen isotopes are known. Organic technetium compounds are used in bone imaging. Chemical properties are intermediate between rhenium and manganese.').
% 17.96/18.14
% 17.96/18.14 ERROR, name too big, max is 255;
% 17.96/18.14 ERROR, name expected:
% 17.96/18.14
% 17.96/18.14
% 17.96/18.14 s__documentation(s__Antimony,s__EnglishLanguage,'Element of group 15. Multiple allotropic forms. The stable form of antimony is a blue-white metal. Yellow and black antimony are unstable non-metals. Used in flame-proofing, paints, ceramics, enamels, and rubber. Attacked by oxidizing acids and halogens. ***HERE*** First reported by Tholden in 1450.').
% 17.96/18.14
% 17.96/18.14 ERROR, name too big, max is 255;
% 17.96/18.14 ERROR, name expected:
% 17.96/18.14
% 17.96/18.14
% 17.96/18.14 s__documentation(s__Iodine,s__EnglishLanguage,'Dark violet nonmetallic element, belongs to group 17 of the periodic table. Insoluble in water. Required as a trace element for living organisms. One stable isotope, I-127 exists, in addition to fourteen radioactive isotopes. Chemically the least reactive ***HERE*** of the halogens, and the most electropositive metallic halogen. Discovered in 1812 by Courtois. ').
% 17.96/18.14
% 17.96/18.14 ERROR, name too big, max is 255;
% 17.96/18.14 ERROR, name expected:
% 17.96/18.14
% 17.96/18.14
% 17.96/18.14 s__documentation(s__Xenon,s__EnglishLanguage,'Colourless, odourless gas belonging to group 18 on the periodic table (the noble gases.) Nine natural isotopes and seven radioactive isotopes are known. Xenon was part of the first noble-gas compound synthesized. Several others involving Xenon have been f ***HERE*** ound since then. Xenon was discovered by Ramsey and Travers in 1898.').
% 17.96/18.14
% 17.96/18.14 ERROR, name too big, max is 255;
% 17.96/18.14 ERROR, name expected:
% 17.96/18.14
% 17.96/18.14
% 18.02/18.24 s__documentation(s__Caesium,s__EnglishLanguage,'Soft silvery-white metallic element belonging to group 1 of the periodic table. One of the three metals which are liquid at room temperature. Cs-133 is the natural, and only stable, isotope. Fifteen other radioisotopes exist. Caesium reacts explosively wi ***HERE*** th cold water, and ice at temperatures above 157K. Caesium hydroxide is the strongest base known. Caesium is the most electropositive, most alkaline and has the least ionization potential of all the elements. Known uses include the basis of atomic clocks, catalyst for the hydrogenation of some organic compounds, and in photoelectric cells. Caesium was discovered by Gustav Kirchoff and Robert Bunsen in Germany in 1860 spectroscopically. Its identification was based upon the bright blue lines in its spectrum. The name comes from the latin word caesius, which means sky blue. Caesium should be considered highly toxic. Some of the radioisotopes are even more toxic.').
% 18.02/18.24
% 18.02/18.24 ERROR, name too big, max is 255;
% 18.02/18.24 ERROR, name expected:
% 18.02/18.24
% 18.02/18.24
% 18.02/18.24 s__documentation(s__Lanthanum,s__EnglishLanguage,'(From the Greek word lanthanein, to line hidden) Silvery metallic element belonging to group 3 of the periodic table and oft considered to be one of the lanthanoids. Found in some rare-earth minerals. Twenty-five natural isotopes exist. La-139 which is st ***HERE*** able, and La-138 which has a half-life of 10^10 to 10^15 years. The other twenty-three isotopes are radioactive. It resembles the lanthanoids chemically. Lanthanum has a low to moderate level of toxicity, and should be handled with care. Discovered in 1839 by C.G. Mosander.').
% 18.02/18.24
% 18.02/18.24 ERROR, name too big, max is 255;
% 18.02/18.24 ERROR, name expected:
% 18.02/18.24
% 18.02/18.24
% 18.02/18.24 s__documentation(s__Cerium,s__EnglishLanguage,'Silvery metallic element, belongs to the lanthanoids. Four natural isotopes exist, and fifteen radioactive isotopes have been identified. Used in some rare-earth alloys. The oxidized form is used in the glass industry. Discovered by Martin .H. Klaproth in ***HERE*** 1803.').
% 18.02/18.24
% 18.02/18.24 ERROR, name too big, max is 255;
% 18.02/18.24 ERROR, name expected:
% 18.02/18.24
% 18.02/18.24
% 18.02/18.24 s__documentation(s__Neodymium,s__EnglishLanguage,'Soft bright silvery metallic element, belongs to the lanthanoids. Seven natural isotopes, Nd-144 being the only radioactive one with a half-life of 10^10 to 10^15 years. Six artificial radioisotopes have been produced. The metal is used in glass works to ***HERE*** color class a shade of violet-purple and make it dichroic. One of the more reactive rare-earth metals, quickly reacts with air. Used in some rare-earth alloys. Neodymium is used to color the glass used in welders glasses. Neodymium is also used in very powerful, permanent magnets (Nd2Fe14B). Discovered by Carl F. Auer von Welsbach in Austria in 1885 by separating didymium into its elemental components {praseodymium} and neodymium. The name comes from the Greek words neos didymos which means new twin. Neodymium should be considered highly toxic, however evidence would seem to show that it acts as little more than a skin and eye irritant. The dust however, presents a fire and explosion hazard.').
% 18.02/18.24
% 18.02/18.24 ERROR, name too big, max is 255;
% 18.02/18.24 ERROR, name expected:
% 18.02/18.24
% 18.02/18.24
% 18.02/18.24 s__documentation(s__Promethium,s__EnglishLanguage,'Soft silvery metallic element, belongs to the lanthanoids. Pm-147, the only natural isotope, is radioactive and has a half-life of 252 years. Eighteen radioisotopes have been produced, but all have very short half-lives. Found only in nuclear decay waste. ***HERE*** Pm-147 is of interest as a beta-decay source, however Pm-146 and Pm-148 have to be removed from it first, as they generate gamma radiation. Discovered by J.A. Marinsky, L.E. Glendenin and C.D. Coryell in 1947.').
% 18.02/18.24
% 18.02/18.24 ERROR, name too big, max is 255;
% 18.02/18.24 ERROR, name expected:
% 18.02/18.24
% 18.02/18.24
% 18.02/18.24 s__documentation(s__Samarium,s__EnglishLanguage,'Soft silvery metallic element, belongs to the lanthanoids. Seven natural isotopes, Sm-147 is the only radioisotope, and has a half-life of 2.5*10^11 years. Used for making special alloys needed in the production of nuclear reactors. Also used as a neutron ***HERE*** absorber. Small quantities of samarium oxide is used in special optical glasses. The largest use of the element is its ferromagnetic alloy which produces permanent magnets that are five times stronger than magnets produced by any other material. Discovered by Francois Lecoq de Boisbaudran in 1879.').
% 18.02/18.24
% 18.02/18.24 ERROR, name too big, max is 255;
% 18.02/18.24 ERROR, name expected:
% 18.02/18.24
% 18.02/18.24
% 18.17/18.39 s__documentation(s__Gadolinium,s__EnglishLanguage,'Soft silvery metallic element belonging to the lanthanoids. Seven natural, stable isotopes are known in addition to eleven artificial isotopes. Gd-155 and Gd-157 and the best neutron absorbers of all elements. Gadolinium compounds are used in electronics. ***HERE*** Discovered by J.C.G Marignac in 1880.').
% 18.17/18.39
% 18.17/18.39 ERROR, name too big, max is 255;
% 18.17/18.39 ERROR, name expected:
% 18.17/18.39
% 18.17/18.39
% 18.17/18.39 s__documentation(s__Dysprosium,s__EnglishLanguage,'Metallic with a bright silvery-white lustre. Dysprosium belongs to the lanthanoids. It is relatively stable in air at room temperatures, it will however dissolve in mineral acids, evolving hydrogen. It is found in from rare-earth minerals. There are seven ***HERE*** natural isotopes of dysprosium, and eight radioisotopes, Dy-154 being the most stable with a half-life of 3*10^6 years. Dysprosium is used as a neutron absorber in nuclear fission reactions, and in compact disks. It was discovered by Paul Emile Lecoq de Boisbaudran in 1886 in France. Its name comes from the Greek word dysprositos, which means hard to obtain.').
% 18.17/18.39
% 18.17/18.39 ERROR, name too big, max is 255;
% 18.17/18.39 ERROR, name expected:
% 18.17/18.39
% 18.17/18.39
% 18.17/18.39 s__documentation(s__Holmium,s__EnglishLanguage,'Relatively soft and malleable silvery-white metallic element, which is stable in dry air at room temperature. It oxidizes in moist air and at high temperatures. It belongs to the lanthanoids. A rare-earth metal, it is found in the minerals monazite and ga ***HERE*** dolinite. It possesses unusual magnetic properties. One natural isotope, Ho-165 exists, six radioisotopes exist, the most stable being Ho-163 with a half-life of 4570 years. Holmium is used in some metal alloys, it is also said to stimulate the metabolism. Discovered by Per Theodor Cleve and J.L. Soret in Switzerland in 1879. The name homium comes from the Greek word Holmia which means Sweden. While all holmium compounds should be considered highly toxic, initial evidence seems to indicate that they do not pose much danger. The metals dust however, is a fire hazard.').
% 18.17/18.39
% 18.17/18.39 ERROR, name too big, max is 255;
% 18.17/18.39 ERROR, name expected:
% 18.17/18.39
% 18.17/18.39
% 18.17/18.39 s__documentation(s__Erbium,s__EnglishLanguage,'Soft silvery metallic element which belongs to the lanthanoids. Six natural isotopes that are stable. Twelve artificial isotopes are known. Used in nuclear technology as a neutron absorber. It is being investigated for other possible uses. Discovered by C ***HERE*** arl G. Mosander in 1843.').
% 18.17/18.39
% 18.17/18.39 ERROR, name too big, max is 255;
% 18.17/18.39 ERROR, name expected:
% 18.17/18.39
% 18.17/18.39
% 18.17/18.39 s__documentation(s__Lutetium,s__EnglishLanguage,'Silvery-white rare-earth metal which is relatively stable in air. It happens to be the most expensive rare-earth metal. Its found with almost all rare-earth metals, but is very difficult to separate from other elements. Least abundant of all natural eleme ***HERE*** nts. Used in metal alloys, and as a catalyst in various processes. There are two natural, stable isotopes, and seven radioisotopes, the most stable being Lu-174 with a half-life of 3.3 years. The separation of lutetium from {ytterbium} was described by Georges Urbain in 1907. It was discovered at approximately the same time by Carl Auer von Welsbach. The name comes from the Greek word lutetia which means Paris.').
% 18.17/18.39
% 18.17/18.39 ERROR, name too big, max is 255;
% 18.17/18.39 ERROR, name expected:
% 18.17/18.39
% 18.17/18.39
% 18.17/18.39 s__documentation(s__Tantalum,s__EnglishLanguage,'Heavy blue-grey metallic transition element. Ta-181 is a stable isotope, and Ta-180 is a radioactive isotope, with a half-life in excess of 10^7 years. Used in surgery as it is unreactive. Forms a passive oxide layer in air. Identified in 1802 by Ekeberg ***HERE*** and isolated in 1820 by Jons J. Berzelius.').
% 18.17/18.39
% 18.17/18.39 ERROR, name too big, max is 255;
% 18.17/18.39 ERROR, name expected:
% 18.17/18.39
% 18.17/18.39
% 18.25/18.48 s__documentation(s__Iridium,s__EnglishLanguage,'Very hard and brittle, silvery metallic transition element. It has a yellowish cast to it. Salts of iridium are highly colored. It is the most corrosion resistant metal known, not attacked by any acid, but is attacked by molten salts. There are two natura ***HERE*** l isotopes of iridium, and 4 radioisotopes, the most stable being Ir-192 with a half-life of 73.83 days. Ir-192 decays into {platinum}, while the other radioisotopes decay into {osmium}. Iridium is used in high temperature apparatus, electrical contacts, and as a hardening agent for platinum. Discovered in 1803 by Smithson Tennant in England. The name comes from the Greek word iris, which means rainbow. Iridium metal is generally non-toxic due to its relative unreactivity, but iridium compounds should be considered highly toxic.').
% 18.25/18.48
% 18.25/18.48 ERROR, name too big, max is 255;
% 18.25/18.48 ERROR, name expected:
% 18.25/18.48
% 18.25/18.48
% 18.25/18.48 s__documentation(s__Platinum,s__EnglishLanguage,'Attractive greyish-white metal. When pure, it is malleable and ductile. Does not oxidize in air, insoluble in hydrochloric and nitric acid. Corroded by halogens, cyandies, sulphur and alkalis. {Hydrogen} and {oxygen} react explosively in the presence of p ***HERE*** latinum. There are six stable isotopes and three radioisotopes, the most stable being Pt-193 with a half-life of 60 years. Platinum is used in jewelry, laboratory equipment, electrical contacts, dentistry, and anti-pollution devices in cars. PtCl2(NH3)2 is used to treat some forms of cancer. Platinum-{cobalt} alloys have magnetic properties. It is also used in the definition of the Standard Hydrogen Electrode. Discovered by Antonio de Ulloa in South America in 1735. The name comes from the Spanish word platina which means silver. Platinum metal is generally not a health concern due to its unreactivity, however platinum compounds should be considered highly toxic.').
% 18.25/18.48
% 18.25/18.48 ERROR, name too big, max is 255;
% 18.25/18.48 ERROR, name expected:
% 18.25/18.48
% 18.25/18.48
% 18.25/18.48 s__documentation(s__Gold,s__EnglishLanguage,'Gold is gold colored. It is the most malleable and ductile metal known. There is only one stable isotope of gold, and five radioisotopes of gold, Au-195 being the most stable with a half-life of 186 days. Gold is used as a monetary standard, in jewelry, d ***HERE*** entistry, electronics. Au-198 is used in treating cancer and some other medical conditions. Gold has been known to exist as far back as 2600 BC. Gold comes from the Anglo-Saxon word gold. Its symbol, Au, comes from the Latin word aurum, which means gold. Gold is not particularly toxic, however it is known to cause damage to the liver and kidneys in some.').
% 18.25/18.48
% 18.25/18.48 ERROR, name too big, max is 255;
% 18.25/18.48 ERROR, name expected:
% 18.25/18.48
% 18.25/18.48
% 18.25/18.48 s__documentation(s__Mercury,s__EnglishLanguage,'Heavy silvery liquid metallic element, belongs to the zinc group. Used in thermometers, barometers and other scientific apparatus. Less reactive than zinc and cadmium, does not displace hydrogen from acids. Forms a number of complexes and organomercury co ***HERE*** mpounds.').
% 18.25/18.48
% 18.25/18.48 ERROR, name too big, max is 255;
% 18.25/18.48 ERROR, name expected:
% 18.25/18.48
% 18.25/18.48
% 18.25/18.48 s__documentation(s__Thallium,s__EnglishLanguage,'Pure, unreacted thallium appears silvery-white and exhibits a metallic lustre. Upon reacting with air, it begins to turn bluish-grey and looks like lead. It is very malleable, and can be cut with a knife. There are two stable isotopes, and four radioisoto ***HERE*** pes, Tl-204 being the most stable with a half-life of 3.78 years. Thallium sulphate was used as a rodenticide. Thallium sulphines conductivity changes with exposure to infrared light, this gives it a use in infrared detectors. Discovered by Sir William Crookes via spectroscopy. Its name comes from the Greek word thallos, which means green twig. Thallium and its compounds are toxic and can cause cancer.').
% 18.25/18.48
% 18.25/18.48 ERROR, name too big, max is 255;
% 18.25/18.48 ERROR, name expected:
% 18.25/18.48
% 18.25/18.48
% 18.25/18.48 s__documentation(s__Bismuth,s__EnglishLanguage,'White crystalline metal with a pink tinge, belongs to group 15. Most diamagnetic of all metals and has the lowest thermal conductivity of all the elements except mercury. Lead-free bismuth compounds are used in cosmetics and medical procedures. Burns in t ***HERE*** he air and produces a blue flame. In 1753, C.G. Junine first demonstrated that it was different from lead.').
% 18.25/18.48
% 18.25/18.48 ERROR, name too big, max is 255;
% 18.25/18.48 ERROR, name expected:
% 18.25/18.48
% 18.25/18.48
% 18.25/18.48 s__documentation(s__Polonium,s__EnglishLanguage,'Rare radioactive metallic element, belongs to group 16 of the periodic table. Over 30 known isotopes exist, the most of all elements. Po-209 has a half-life of 103 years. Possible uses in heating spacecraft. Discovered by Marie Curie in 1898 in a sample o ***HERE*** f pitchblende.').
% 18.25/18.48
% 18.25/18.48 ERROR, name too big, max is 255;
% 18.25/18.48 ERROR, name expected:
% 18.25/18.48
% 18.25/18.48
% 18.43/18.61 s__documentation(s__Astatine,s__EnglishLanguage,'Radioactive halogen element. Occurs naturally from uranium and thorium decay. At least 20 known isotopes. At-210, the most stable, has a half-life of 8.3 hours. Synthesized by nuclear bombardment in 1940 by D.R. Corson, K.R. MacKenzie and E. Segre at the ***HERE*** University of California.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.43/18.61 ERROR, name expected:
% 18.43/18.61
% 18.43/18.61
% 18.43/18.61 s__documentation(s__Radon,s__EnglishLanguage,'Colorless radioactive gaseous element, belongs to the noble gases. Of the twenty known isotopes, the most stable is Rn-222 with a half-life of 3.8 days. Formed by the radioactive decay of {Radium}-226. Radon itself decays into {polonium}. Used in radiothe ***HERE*** rapy. As a noble gas, it is effectively inert, though radon fluoride has been synthesized. First isolated in 1908 by Ramsey and Gray.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.43/18.61 ERROR, name expected:
% 18.43/18.61
% 18.43/18.61
% 18.43/18.61 s__documentation(s__Actinium,s__EnglishLanguage,'Silvery radioactive metallic element, belongs to group 3 of the periodic table. The most stable isotope, Ac-227, has a half-life of 217 years. Ac-228 (half-life of 6.13 hours) also occurs in nature. There are 22 other artificial isotopes, all radioactive ***HERE*** and having very short half-lives. Chemistry similar to lanthanum. Used as a source of alpha particles. Discovered by A. Debierne in 1899.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.43/18.61 ERROR, name expected:
% 18.43/18.61
% 18.43/18.61
% 18.43/18.61 s__documentation(s__Thorium,s__EnglishLanguage,'Grey radioactive metallic element. Belongs to actinoids. Found in monazite sand in Brazil, India and the US. Thorium-232 has a half-life of 1.39x10^10 years. Can be used as a nuclear fuel for breeder reactors. Thorium-232 captures slow {neutron}s and bree ***HERE*** ds uranium-233. Discovered by Jons J. Berzelius in 1829.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.43/18.61 ERROR, name expected:
% 18.43/18.61
% 18.43/18.61
% 18.43/18.61 s__documentation(s__Protactinium,s__EnglishLanguage,'Radioactive metallic element, belongs to the actinoids. The most stable isotope, Pa-231 has a half-life of 2.43*10^4 years. At least 10 other radioactive isotopes are known. No practical applications are known. Discovered in 1917 by Lise Meitner and Otto ***HERE*** Hahn.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.43/18.61 ERROR, name expected:
% 18.43/18.61
% 18.43/18.61
% 18.43/18.61 s__documentation(s__Neptunium,s__EnglishLanguage,'Radioactive metallic transuranic element, belongs to the actinoids. Np-237, the most stable isotope, has a half-life of 2.2*10^6 years and is a by product of nuclear reactors. The other known isotopes have mass numbers 229 through 236, and 238 through 241 ***HERE*** . Np-236 has a half-life of 5*10^3 years. First produced by Edwin M. McMillan and P.H. Abelson in 1940.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.43/18.61 ERROR, name expected:
% 18.43/18.61
% 18.43/18.61
% 18.43/18.61 s__documentation(s__Plutonium,s__EnglishLanguage,'Dense silvery radioactive metallic transuranic element, belongs to the actinoids. Pu-244 is the most stable isotope with a half-life of 7.6*10^7 years. Thirteen isotopes are known. Pu-239 is the most important, it undergoes nuclear fission with slow neutr ***HERE*** ons and is hence important to nuclear weapons and reactors. Plutonium production is monitored down to the gram to prevent military misuse. First produced by Gleen T. Seaborg, Edwin M. McMillan, J.W. Kennedy and A.C. Wahl in 1940.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.43/18.61 ERROR, name expected:
% 18.43/18.61
% 18.43/18.61
% 18.43/18.61 s__documentation(s__Americium,s__EnglishLanguage,'Radioactive metallic transuranic element, belongs to the actinoids. Ten known isotopes. Am-243 is the most stable isotope, with a half-life of 7.95*10^3 years. Discovered by Glenn T. Seaborg and associates in 1945, it was obtained by bombarding {uranium}- ***HERE*** 238 with alpha particles.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.43/18.61 ERROR, name expected:
% 18.43/18.61
% 18.43/18.61
% 18.43/18.61 s__documentation(s__Curium,s__EnglishLanguage,'Radioactive metallic transuranic element. Belongs to actinoid series. Nine known isotopes, Cm-247 has a half-life of 1.64*10^7 years. First identified by Glenn T. Seaborg and associates in 1944, first produced by L.B. Werner and I. Perlman in 1947 by bomb ***HERE*** arding americium-241 with {neutron}s. Named for Marie Curie.').
% 18.43/18.61
% 18.43/18.61 ERROR, name too big, max is 255;
% 18.94/19.10 ERROR, name expected:
% 18.94/19.10
% 18.94/19.10
% 18.94/19.10 s__documentation(s__Berkelium,s__EnglishLanguage,'Radioactive metallic transuranic element. Belongs to actinoid series. Eight known isotopes, the most common Bk-247, has a half-life of 1.4*10^3 years. First produced by Glenn T. Seaborg and associates in 1949 by bombarding americium-241 with alpha particl ***HERE*** es.').
% 18.94/19.10
% 18.94/19.10 ERROR, name too big, max is 255;
% 18.94/19.10 ERROR, name expected:
% 18.94/19.10
% 18.94/19.10
% 18.94/19.10 s__documentation(s__Californium,s__EnglishLanguage,'Radioactive metallic transuranic element. Belongs to actinoid series. Cf-251 has a half life of about 700 years. Nine isotopes are known. Cf-252 is an intense {neutron} source, which makes it an intense {neutron} source and gives it a use in {neutron} act ***HERE*** ivation analysis and a possible use as a radiation source in medicine. First produced by Glenn T. Seaborg and associates in 1950.').
% 18.94/19.10
% 18.94/19.10 ERROR, name too big, max is 255;
% 18.94/19.10 ERROR, name expected:
% 18.94/19.10
% 18.94/19.10
% 18.94/19.10 s__documentation(s__Einsteinium,s__EnglishLanguage,'Appearance is unknown, however it is most probably metallic and silver or gray in color. Radioactive metallic transuranic element belonging to the actinoids. Es-254 has the longest half-life of the eleven known isotopes at 270 days. First identified by Al ***HERE*** bert Ghiorso and associates in the debris of the 1952 hydrogen bomb explosion. In 1961 the first microgram quantities of Es-232 were separated. While einsteinium never exists naturally, if a sufficient amount was assembled, it would pose a radiation hazard.').
% 18.94/19.10
% 18.94/19.10 ERROR, name too big, max is 255;
% 18.94/19.10 ERROR, name expected:
% 18.94/19.10
% 18.94/19.10
% 18.94/19.10 s__documentation(s__Mendelevium,s__EnglishLanguage,'Radioactive metallic transuranic element. Belongs to the actinoid series. Only known isotope, Md-256 has a half-life of 1.3 hours. First identified by Glenn T. Seaborg, Albert Ghiorso and associates in 1955. Alternative name {unnilunium} has been proposed ***HERE*** . Named after the inventor of the periodic table, Dmitri Mendeleev.').
% 18.94/19.10
% 18.94/19.10 ERROR, name too big, max is 255;
% 18.94/19.10 ERROR, name expected:
% 18.94/19.10
% 18.94/19.10
% 18.94/19.10 s__documentation(s__Nobelium,s__EnglishLanguage,'Radioactive metallic transuranic element, belongs to the actinoids. Seven known isotopes exist, the most stable being No-254 with a half-life of 255 seconds. First identified with certainty by Albert Ghiorso and Glenn T. Seaborg in 1966. {Unnilbium} has b ***HERE*** een proposed as an alternative name.').
% 18.94/19.10
% 18.94/19.10 ERROR, name too big, max is 255;
% 18.94/19.10 ERROR, name expected:
% 18.94/19.10
% 18.94/19.10
% 18.94/19.10 s__documentation(s__Lawrencium,s__EnglishLanguage,'Appearance unknown, however it is most likely silvery-white or grey and metallic. Lawrencium is a synthetic rare-earth metal. There are eight known radioisotopes, the most stable being Lr-262 with a half-life of 3.6 hours. Due to the short half-life of la ***HERE*** wrencium, and its radioactivity, there are no known uses for it. Identified by Albert Ghiorso in 1961 at Berkeley. It was produced by bombarding californium with boron ions. The name is temporary {IUPAC} nomenclature, the origin of the name comes from Ernest O. Lawrence, the inventor of the cyclotron. If sufficient amounts of lawrencium were produced, it would pose a radiation hazard.').
% 18.94/19.10
% 18.94/19.10 ERROR, name too big, max is 255;
% 18.94/19.10 ERROR, name expected:
% 18.94/19.10
% 18.94/19.10
% 18.94/19.10 s__documentation(s__Unnilquadium,s__EnglishLanguage,'Radioactive transactinide element. Expected to have similar chemical properties to those displayed by hafnium. Rf-260 was discovered by the Joint Nuclear Research Institute at Dubna (U.S.S.R.) in 1964. Researchers at Berkeley discovered Unq-257 and Unq-25 ***HERE*** 8 in 1964.').
% 18.94/19.10
% 18.94/19.10 ERROR, name too big, max is 255;
% 18.94/19.10 ERROR, name expected:
% 18.94/19.10
% 18.94/19.10
% 18.94/19.10 s__documentation(s__Meitnerium,s__EnglishLanguage,'Half-life of approximately 5ms. The creation of this element demonstrated that fusion techniques could indeed be used to make new, heavy nuclei. Made and identified by physicists of the Heavy Ion Research Laboratory, Darmstadt, West Germany in 1982. Named ***HERE*** in honor of Lise Meitner the Austrian physicist.').
% 18.94/19.10
% 18.94/19.10 ======= end of input processing =======
% 18.94/19.10
% 18.94/19.10 386 input errors were found.
% 18.94/19.10
% 18.94/19.10 386 input errors were found.
%------------------------------------------------------------------------------