TSTP Solution File: CSR083+4 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : CSR083+4 : TPTP v8.1.0. Bugfixed v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n027.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:11 EDT 2022
% Result : Unknown 3.12s 3.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : CSR083+4 : TPTP v8.1.0. Bugfixed v7.3.0.
% 0.12/0.13 % Command : sos-script %s
% 0.13/0.34 % Computer : n027.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jun 10 22:12:44 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.93/1.12 ----- Otter 3.2, August 2001 -----
% 0.93/1.12 The process was started by sandbox on n027.cluster.edu,
% 0.93/1.12 Fri Jun 10 22:12:45 2022
% 0.93/1.12 The command was "./sos". The process ID is 5636.
% 0.93/1.12
% 0.93/1.12 set(prolog_style_variables).
% 0.93/1.12 set(auto).
% 0.93/1.12 dependent: set(auto1).
% 0.93/1.12 dependent: set(process_input).
% 0.93/1.12 dependent: clear(print_kept).
% 0.93/1.12 dependent: clear(print_new_demod).
% 0.93/1.12 dependent: clear(print_back_demod).
% 0.93/1.12 dependent: clear(print_back_sub).
% 0.93/1.12 dependent: set(control_memory).
% 0.93/1.12 dependent: assign(max_mem, 12000).
% 0.93/1.12 dependent: assign(pick_given_ratio, 4).
% 0.93/1.12 dependent: assign(stats_level, 1).
% 0.93/1.12 dependent: assign(pick_semantic_ratio, 3).
% 0.93/1.12 dependent: assign(sos_limit, 5000).
% 0.93/1.12 dependent: assign(max_weight, 60).
% 0.93/1.12 clear(print_given).
% 0.93/1.12
% 0.93/1.12 formula_list(usable).
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 s__documentation(s__instance__m,s__EnglishLanguage,'An object is an &
% 0.93/1.12 ***HERE***
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 s__documentation(s__subrelation__m,s__EnglishLanguage,'(&
% 0.93/1.12 ***HERE*** & - ( =(V__CLASS1,V__CLASS3) ) ) ) ) ) ) ) ) ).
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 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 (&
% 0.93/1.12 ***HERE***
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 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 &
% 0.93/1.12 ***HERE*** | s__subclass(V__CLASS2,V__CLASS1) ) ) ) ) ).
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 s__documentation(s__exhaustiveAttribute__m,s__EnglishLanguage,'This predicate relates a &
% 0.93/1.12 ***HERE*** & =(V__ATTR2,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER2))
% 0.93/1.12 & - ( =(V__NUMBER1,V__NUMBER2) ) )
% 0.93/1.12 -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.12 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 s__documentation(s__exhaustiveDecomposition__m,s__EnglishLanguage,'An &
% 0.93/1.12 ***HERE*** ( s__instance(V__NUMBER,s__PositiveInteger)
% 0.93/1.12 & =(V__EL,V__ATTR)
% 0.93/1.12 & =(V__ATTR,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER)) ) ) ) ) ) ) ) ) ) ) ) ).
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 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 &
% 0.93/1.12 ***HERE*** ( s__instance(V__NUMBER,s__PositiveInteger)
% 0.93/1.12 & =(V__EL,V__ATTR)
% 0.93/1.12 & =(V__ATTR,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER)) ) ) ) ) ) ) ) ) ) ) ) ).
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 s__documentation(s__Object,s__EnglishLanguage,'Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of &
% 0.93/1.12 ***HERE*** & =(V__EL,V__ATTR)
% 0.93/1.12 & =(V__ATTR,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER)) ) ) ) ) ) ) ) ) ) ) ) ).
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 s__documentation(s__OrganicThing,s__EnglishLanguage,'A &
% 0.93/1.12 ***HERE*** & =(V__EL,V__ATTR)
% 0.93/1.12 & =(V__ATTR,s__ListOrderFn(s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7),V__NUMBER)) ) ) ) ) ) ) ) ) ) ) ) ).
% 0.93/1.12
% 0.93/1.12 ERROR, name too big, max is 255;
% 0.93/1.12 ERROR, name expected:
% 0.93/1.12
% 0.93/1.12
% 0.93/1.12 s__documentation(s__FrontFn__m,s__EnglishLanguage,'A &
% 0.93/1.12 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.12 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.12
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__BackFn__m,s__EnglishLanguage,'A &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__part__m,s__EnglishLanguage,'The basic mereological relation. All other mereological relations are defined in terms of this one. (&
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__component__m,s__EnglishLanguage,'A specialized common sense notion of part for heterogeneous parts of complexes. (&
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__material__m,s__EnglishLanguage,'(&
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 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 &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__Substance,s__EnglishLanguage,'An &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__PureSubstance,s__EnglishLanguage,'The &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__ElementalSubstance,s__EnglishLanguage,'The &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__CompoundSubstance,s__EnglishLanguage,'The &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__Mixture,s__EnglishLanguage,'A &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__Region,s__EnglishLanguage,'A topographic location. &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__Collection,s__EnglishLanguage,'Collections have &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__ContentBearingObject,s__EnglishLanguage,'Any &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__Character,s__EnglishLanguage,'An element of an alphabet, a set of numerals, etc. Note that a &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__containsInformation__m,s__EnglishLanguage,'A subrelation of &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.13 ERROR, name too big, max is 255;
% 0.93/1.13 ERROR, name expected:
% 0.93/1.13
% 0.93/1.13
% 0.93/1.13 s__documentation(s__Icon,s__EnglishLanguage,'This is the subclass of &
% 0.93/1.13 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.13 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.13
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__ConstructedLanguage,s__EnglishLanguage,'An &
% 0.93/1.16 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.16 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__NaturalLanguage,s__EnglishLanguage,'The &
% 0.93/1.16 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.16 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__SentientAgent,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.16 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__CognitiveAgent,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.16 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__LegalAgent,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.16 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 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 &
% 0.93/1.16 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.16 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 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.').
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__manner__m,s__EnglishLanguage,'(&
% 0.93/1.16 ***HERE*** -> ( s__property(V__OBJ,V__ATTR1)
% 0.93/1.16 -> -s__property(V__OBJ,V__ATTR2) ) ) ) ) ) ) ) ).
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__PhysicalQuantity,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__ConstantQuantity,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__TimePoint,s__EnglishLanguage,'An extensionless point on the universal timeline. The &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__FunctionQuantity,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__TimeDependentQuantity,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__Class,s__EnglishLanguage,'&
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__Set,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__Relation,s__EnglishLanguage,'The &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__SingleValuedRelation,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__TotalValuedRelation,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE***
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__PartialValuedRelation,s__EnglishLanguage,'A &
% 0.93/1.16 ***HERE*** -> ( exists V__ITEM (
% 0.93/1.16 ( s__instance(V__ITEM,s__TimeDuration)
% 0.93/1.16 & s__instance(V__VALENCE,s__Quantity)
% 0.93/1.16 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 0.93/1.16
% 0.93/1.16 ERROR, name too big, max is 255;
% 0.93/1.16 ERROR, name expected:
% 0.93/1.16
% 0.93/1.16
% 0.93/1.16 s__documentation(s__AntisymmetricRelation,s__EnglishLanguage,'&
% 0.93/1.16 ***HERE*** -> ( exists V__ITEM (
% 1.15/1.39 ( s__instance(V__ITEM,s__TimeDuration)
% 1.15/1.39 & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 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 &
% 1.15/1.39 ***HERE*** ( s__instance(V__ITEM,s__TimeDuration)
% 1.15/1.39 & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__experiencer__m,s__EnglishLanguage,'(&
% 1.15/1.39 ***HERE*** ( s__instance(V__ITEM,s__TimeDuration)
% 1.15/1.39 & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 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 &
% 1.15/1.39 ***HERE*** ( s__instance(V__ITEM,s__TimeDuration)
% 1.15/1.39 & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__origin__m,s__EnglishLanguage,'(&
% 1.15/1.39 ***HERE*** ( s__instance(V__ITEM,s__TimeDuration)
% 1.15/1.39 & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__patient__m,s__EnglishLanguage,'(&
% 1.15/1.39 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__resource__m,s__EnglishLanguage,'(&
% 1.15/1.39 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__conditionalProbability__m,s__EnglishLanguage,'One of the basic &
% 1.15/1.39 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__inScopeOfInterest__m,s__EnglishLanguage,'A very general &
% 1.15/1.39 ***HERE*** -> =(V__NUMBER2,V__NUMBER1) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__desires__m,s__EnglishLanguage,'(&
% 1.15/1.39 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__knows__m,s__EnglishLanguage,'The epistemic predicate of knowing. (&
% 1.15/1.39 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__List,s__EnglishLanguage,'Every &
% 1.15/1.39 ***HERE*** & s__instance(V__VALENCE,s__Quantity)
% 1.15/1.39 & s__duration(V__ROW1,V__ITEM) ) ) ) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__ListConcatenateFn__m,s__EnglishLanguage,'A &
% 1.15/1.39 ***HERE*** ( s__instance(V__LIST2,s__List)
% 1.15/1.39 & s__initialList(V__LIST1,V__LIST2)
% 1.15/1.39 & =(s__SuccessorFn(V__NUMBER),s__ListLengthFn(V__LIST2))
% 1.15/1.39 & =(s__ListOrderFn(V__LIST2,s__SuccessorFn(V__NUMBER)),V__ITEM) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__subList__m,s__EnglishLanguage,'(&
% 1.15/1.39 ***HERE*** -> s__disjoint(V__ITEM1,V__ITEM2) ) ) ) ) ) ) ).
% 1.15/1.39
% 1.15/1.39 ERROR, name too big, max is 255;
% 1.15/1.39 ERROR, name expected:
% 1.15/1.39
% 1.15/1.39
% 1.15/1.39 s__documentation(s__Predicate,s__EnglishLanguage,'A &
% 1.39/1.58 ***HERE*** -> =(s__ListOrderFn(V__LIST1,V__NUMBER2),s__ListOrderFn(V__LIST2,V__NUMBER2)) ) ) ) ) ) ) ).
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__Function,s__EnglishLanguage,'A &
% 1.39/1.58 ***HERE*** -> =(s__ListOrderFn(V__LIST1,V__NUMBER2),s__ListOrderFn(V__LIST2,V__NUMBER2)) ) ) ) ) ) ) ).
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__AssociativeFunction,s__EnglishLanguage,'A &
% 1.39/1.58 ***HERE*** -> =(s__ListOrderFn(V__LIST1,V__NUMBER2),s__ListOrderFn(V__LIST2,V__NUMBER2)) ) ) ) ) ) ) ).
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__CommutativeFunction,s__EnglishLanguage,'A &
% 1.39/1.58 ***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)) ) ) ) ) ) ) ).
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__RelationExtendedToQuantities,s__EnglishLanguage,'A &
% 1.39/1.58 ***HERE***
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__Proposition,s__EnglishLanguage,'&
% 1.39/1.58 ***HERE***
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__distributes__m,s__EnglishLanguage,'A &
% 1.39/1.58 ***HERE***
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__relatedEvent__m,s__EnglishLanguage,'(relatedEvent ?EVENT1 ?EVENT2) means that the &
% 1.39/1.58 ***HERE*** & s__instance(V__INST1,V__CLASS1)
% 1.39/1.58 & s__instance(V__INST2,V__CLASS1)
% 1.39/1.58 & s__instance(V__INST3,V__CLASS1)
% 1.39/1.58 & s__domain(V__FUNCTION2,"1",V__CLASS2)
% 1.39/1.58 & s__instance(V__INST1,V__CLASS2)
% 1.39/1.58 & s__instance(V__INST2,V__CLASS2)
% 1.39/1.58 & s__instance(V__INST3,V__CLASS2) )
% 1.39/1.58 -> =(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))) ) ) ) ) ) ) ).
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__causesProposition__m,s__EnglishLanguage,'(&
% 1.39/1.58 ***HERE*** & s__instance(V__INST3,V__CLASS2) )
% 1.39/1.58 -> =(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))) ) ) ) ) ) ) ).
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__time__m,s__EnglishLanguage,'This relation holds between an instance of &
% 1.39/1.58 ***HERE*** & s__instance(V__INST3,V__CLASS2) )
% 1.39/1.58 -> =(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))) ) ) ) ) ) ) ).
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__hasPurpose__m,s__EnglishLanguage,'This &
% 1.39/1.58 ***HERE***
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__hasPurposeForAgent__m,s__EnglishLanguage,'Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (&
% 1.39/1.58 ***HERE***
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__partlyLocated__m,s__EnglishLanguage,'(&
% 1.39/1.58 ***HERE***
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 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.').
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__inhibits__m,s__EnglishLanguage,'A very general &
% 1.39/1.58 ***HERE***
% 1.39/1.58
% 1.39/1.58 ERROR, name too big, max is 255;
% 1.39/1.58 ERROR, name expected:
% 1.39/1.58
% 1.39/1.58
% 1.39/1.58 s__documentation(s__prevents__m,s__EnglishLanguage,'A very general &
% 1.39/1.58 ***HERE***
% 1.39/1.58
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__refers__m,s__EnglishLanguage,'(&
% 1.45/1.66 ***HERE***
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__names__m,s__EnglishLanguage,'(&
% 1.45/1.66 ***HERE***
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__represents__m,s__EnglishLanguage,'A very general semiotics &
% 1.45/1.66 ***HERE***
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__equivalentContentClass__m,s__EnglishLanguage,'A &
% 1.45/1.66 ***HERE***
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__subsumesContentClass__m,s__EnglishLanguage,'A &
% 1.45/1.66 ***HERE***
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__equivalentContentInstance__m,s__EnglishLanguage,'A &
% 1.45/1.66 ***HERE*** ( s__instance(V__OBJ1,s__ContentBearingPhysical)
% 1.45/1.66 & s__instance(V__OBJ1,V__CLASS1)
% 1.45/1.66 & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__subsumesContentInstance__m,s__EnglishLanguage,'A &
% 1.45/1.66 ***HERE*** & s__instance(V__OBJ1,V__CLASS1)
% 1.45/1.66 & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__realization__m,s__EnglishLanguage,'A subrelation of &
% 1.45/1.66 ***HERE*** & s__instance(V__OBJ1,V__CLASS1)
% 1.45/1.66 & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(minus__m,s__EnglishLanguage,'If ?NUMBER1 and ?NUMBER2 are &
% 1.45/1.66 ***HERE*** & s__containsInformation(V__OBJ2,V__PROP2) )
% 1.45/1.66 -> s__subsumesContentInstance(V__OBJ2,V__OBJ1) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(divide__m,s__EnglishLanguage,'If ?NUMBER1 and ?NUMBER2 are &
% 1.45/1.66 ***HERE*** & s__containsInformation(V__OBJ2,V__PROP2) )
% 1.45/1.66 -> s__subsumesContentInstance(V__OBJ2,V__OBJ1) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__ReciprocalFn__m,s__EnglishLanguage,'(ReciprocalFn ?NUMBER) is the reciprocal element of ?NUMBER with respect to the multiplication operator (&
% 1.45/1.66 ***HERE*** -> =(s__RemainderFn(V__LESS,V__ELEMENT),"0") ) ) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__average__m,s__EnglishLanguage,'A partial function that relates a &
% 1.45/1.66 ***HERE*** -> =(s__RemainderFn(V__LESS,V__ELEMENT),"0") ) ) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__GeneralizedUnionFn__m,s__EnglishLanguage,'A &
% 1.45/1.66 ***HERE*** & s__instance(V__I2,V__U)
% 1.45/1.66 & ( s__instance(V__I3,V__C1)
% 1.45/1.66 | s__instance(V__I3,V__C2) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__GeneralizedIntersectionFn__m,s__EnglishLanguage,'A &
% 1.45/1.66 ***HERE*** & ( s__instance(V__I3,V__C1)
% 1.45/1.66 | s__instance(V__I3,V__C2) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 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 &
% 1.45/1.66 ***HERE*** & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__Graph,s__EnglishLanguage,'The &
% 1.45/1.66 ***HERE*** & s__containsInformation(V__OBJ1,V__INFO) ) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.45/1.66 ERROR, name too big, max is 255;
% 1.45/1.66 ERROR, name expected:
% 1.45/1.66
% 1.45/1.66
% 1.45/1.66 s__documentation(s__GraphPath,s__EnglishLanguage,'Informally, a single, directed route between two &
% 1.45/1.66 ***HERE*** & s__graphPart(V__NODE,V__GRAPH)
% 1.45/1.66 & =(s__TerminalNodeFn(V__ARC1),V__NODE)
% 1.45/1.66 & =(s__TerminalNodeFn(V__ARC2),V__NODE)
% 1.45/1.66 & - ( =(V__ARC1,V__ARC2) ) ) ) ) ) ) ) ) ).
% 1.45/1.66
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__BeginNodeFn__m,s__EnglishLanguage,'A &
% 1.52/1.72 ***HERE*** & s__graphPart(V__ARC1,V__GRAPH)
% 1.52/1.72 & s__graphPart(V__ARC2,V__GRAPH)
% 1.52/1.72 & s__graphPart(V__NODE1,V__GRAPH)
% 1.52/1.72 & s__graphPart(V__NODE2,V__GRAPH)
% 1.52/1.72 & s__links(V__NODE1,V__NODE2,V__ARC1)
% 1.52/1.72 & s__links(V__NODE1,V__NODE2,V__ARC2)
% 1.52/1.72 & - ( =(V__ARC1,V__ARC2) ) ) ) ) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__abstractCounterpart__m,s__EnglishLanguage,'(abstractCounterpart ?AB ?PHYS relates a &
% 1.52/1.72 ***HERE*** & s__instance(V__PATH2,s__MinimalCutSetFn(V__GRAPH))
% 1.52/1.72 & s__pathLength(V__PATH1,V__NUMBER1)
% 1.52/1.72 & s__pathLength(V__PATH2,V__NUMBER2)
% 1.52/1.72 & less(V__NUMBER1,V__NUMBER2) ) ) ) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__UnitOfMeasure,s__EnglishLanguage,'A standard of measurement for some dimension. For example, the &
% 1.52/1.72 ***HERE*** & s__abstractCounterpart(V__AA,V__PA)
% 1.52/1.72 & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 1.52/1.72 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__IntervalFn__m,s__EnglishLanguage,'A &
% 1.52/1.72 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 1.52/1.72 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__MagnitudeFn__m,s__EnglishLanguage,'The magnitude of a &
% 1.52/1.72 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 1.52/1.72 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__PerFn__m,s__EnglishLanguage,'&
% 1.52/1.72 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 1.52/1.72 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__DensityFn__m,s__EnglishLanguage,'&
% 1.52/1.72 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 1.52/1.72 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__SpeedFn__m,s__EnglishLanguage,'Maps an instance of &
% 1.52/1.72 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 1.52/1.72 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 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 (&
% 1.52/1.72 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 1.52/1.72 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__SecondDuration,s__EnglishLanguage,'SI &
% 1.52/1.72 ***HERE*** -> s__measure(V__OBJECT,s__SpeedFn(V__DISTANCE,V__TIME)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 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 &
% 1.52/1.72 ***HERE*** & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)) )
% 1.52/1.72 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 s__documentation(s__KelvinDegree,s__EnglishLanguage,'SI &
% 1.52/1.72 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 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 &
% 1.52/1.72 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.72 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 &
% 1.52/1.72 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.72
% 1.52/1.72 ERROR, name too big, max is 255;
% 1.52/1.72 ERROR, name expected:
% 1.52/1.72
% 1.52/1.72
% 1.52/1.78 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. &
% 1.52/1.78 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 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. &
% 1.52/1.78 -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__Watt,s__EnglishLanguage,'SI power measure. Symbol: W. A &
% 1.52/1.78 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 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 &
% 1.52/1.78 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 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 &
% 1.52/1.78 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 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 &
% 1.52/1.78 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__Siemens,s__EnglishLanguage,'SI electric conductance measure. Symbol: S. In the case of direct current, the conductance in &
% 1.52/1.78 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__Henry,s__EnglishLanguage,'SI inductance measure. Symbol: H. One &
% 1.52/1.78 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__Lux,s__EnglishLanguage,'SI illuminance measure. Symbol: lx. It is the amount of illumination provided when one &
% 1.52/1.78 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 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 &
% 1.52/1.78 ***HERE*** -> s__measure(V__PA,s__MeasureFn(V__N,V__M)) ) ) ) ).
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__Sievert,s__EnglishLanguage,'SI dose equivalent measure. Symbol: Sv. It is a unit of biologic dose of ionizing radiation. The &
% 1.52/1.78 ***HERE***
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__AtomGram,s__EnglishLanguage,'&
% 1.52/1.78 ***HERE***
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__linearExtent__m,s__EnglishLanguage,'&
% 1.52/1.78 ***HERE***
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__distance__m,s__EnglishLanguage,'(&
% 1.52/1.78 ***HERE***
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__altitude__m,s__EnglishLanguage,'A &
% 1.52/1.78 ***HERE***
% 1.52/1.78
% 1.52/1.78 ERROR, name too big, max is 255;
% 1.52/1.78 ERROR, name expected:
% 1.52/1.78
% 1.52/1.78
% 1.52/1.78 s__documentation(s__depth__m,s__EnglishLanguage,'A &
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__WealthFn__m,s__EnglishLanguage,'A &
% 1.75/1.99 ***HERE*** & s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT))
% 1.75/1.99 & s__instance(V__UNIT,s__UnitOfLength) )
% 1.75/1.99 -> greater(V__QUANT1,V__QUANT2) ) ) ) ) ) ) ).
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__barometricPressure__m,s__EnglishLanguage,'(&
% 1.75/1.99 ***HERE*** & s__instance(V__UNIT,s__UnitOfLength) )
% 1.75/1.99 -> greater(V__QUANT1,V__QUANT2) ) ) ) ) ) ) ).
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__temporalPart__m,s__EnglishLanguage,'The temporal analogue of the spatial &
% 1.75/1.99 ***HERE*** ( s__temporalPart(V__POSITION,V__TIME2)
% 1.75/1.99 & s__holdsDuring(V__POSITION,'(? [V__INST] : (s__instance(V__POSITION,s__TimePosition) & s__instance(V__INST,V__PROC)))') ) ) ) ) ) ) ) ) ) ).
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__cooccur__m,s__EnglishLanguage,'(&
% 1.75/1.99 ***HERE*** & s__temporalPart(V__INTERVAL3,V__INTERVAL2) ) ) ) ) ) ) ).
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__RecurrentTimeIntervalFn__m,s__EnglishLanguage,'A function that is useful for generating recurring time intervals. For example, (&
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__YearFn__m,s__EnglishLanguage,'A &
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__MonthFn__m,s__EnglishLanguage,'A &
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__DayFn__m,s__EnglishLanguage,'A &
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__HourFn__m,s__EnglishLanguage,'A &
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__MinuteFn__m,s__EnglishLanguage,'A &
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__SecondFn__m,s__EnglishLanguage,'A &
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__TemporalCompositionFn__m,s__EnglishLanguage,'The basic &
% 1.75/1.99 ***HERE*** -> s__meetsTemporally(V__DAY1,V__DAY2) ) ) ) ).
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__superficialPart__m,s__EnglishLanguage,'(&
% 1.75/1.99 ***HERE*** & s__temporalPart(V__TIME,V__INTERVAL) )
% 1.75/1.99 -> ( exists V__INSTANCE (
% 1.75/1.99 ( s__instance(V__INSTANCE,s__TimePosition)
% 1.75/1.99 & s__instance(V__INSTANCE,V__CLASS)
% 1.75/1.99 & s__temporalPart(V__TIME,V__INSTANCE) ) ) ) ) ) ) ) ) ) ).
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, name expected:
% 1.75/1.99
% 1.75/1.99
% 1.75/1.99 s__documentation(s__Hole,s__EnglishLanguage,'A hole is an immaterial body located at the surface of an &
% 1.75/1.99 ***HERE***
% 1.75/1.99
% 1.75/1.99 ERROR, name too big, max is 255;
% 1.75/1.99 ERROR, the 4 terms/operators in the following sequence are OK, but they
% 1.75/1.99 could not be combined into a single term with special operators.
% 1.75/1.99 it
% 1.75/1.99 may
% 1.75/1.99 stick
% 1.75/1.99 out
% 2.05/2.24
% 2.05/2.24 The context of the bad sequence is:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__partiallyFills__m,s__EnglishLanguage,'(&
% 2.05/2.24 ***HERE***
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__properlyFills__m,s__EnglishLanguage,'(&
% 2.05/2.24 ***HERE***
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__completelyFills__m,s__EnglishLanguage,'(&
% 2.05/2.24 ***HERE***
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__fills__m,s__EnglishLanguage,'Holes can be filled. (&
% 2.05/2.24 ***HERE***
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__PathologicProcess,s__EnglishLanguage,'A disordered process, activity, or state of the &
% 2.05/2.24 ***HERE***
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__IntentionalPsychologicalProcess,s__EnglishLanguage,'An &
% 2.05/2.24 ***HERE***
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__RecreationOrExercise,s__EnglishLanguage,'A &
% 2.05/2.24 ***HERE***
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__JudicialProcess,s__EnglishLanguage,'Any legal proceeding which is conducted by a &
% 2.05/2.24 ***HERE*** & ( s__agent(V__PROC,V__POL)
% 2.05/2.24 | s__patient(V__PROC,V__POL) ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__RegulatoryProcess,s__EnglishLanguage,'an &
% 2.05/2.24 ***HERE*** & ( s__agent(V__PROC,V__POL)
% 2.05/2.24 | s__patient(V__PROC,V__POL) ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__Managing,s__EnglishLanguage,'&
% 2.05/2.24 ***HERE*** & ( s__agent(V__PROC,V__POL)
% 2.05/2.24 | s__patient(V__PROC,V__POL) ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__Translocation,s__EnglishLanguage,'&
% 2.05/2.24 ***HERE*** & s__origin(V__REMOVE,V__PLACE)
% 2.05/2.24 & s__patient(V__PUT,V__OBJ2)
% 2.05/2.24 & s__destination(V__PUT,V__PLACE)
% 2.05/2.24 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__Funding,s__EnglishLanguage,'Any instance of &
% 2.05/2.24 ***HERE*** & s__patient(V__GET,V__OBJ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__Classifying,s__EnglishLanguage,'The &
% 2.05/2.24 ***HERE*** & s__instance(V__SELL,s__Selling)
% 2.05/2.24 & s__agent(V__SELL,V__AGENT2)
% 2.05/2.24 & s__destination(V__SELL,V__AGENT1)
% 2.05/2.24 & s__patient(V__SELL,V__OBJECT) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__Attaching,s__EnglishLanguage,'A &
% 2.05/2.24 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 2.05/2.24 & s__destination(V__GIVE1,V__AGENT2)
% 2.05/2.24 & s__destination(V__GIVE2,V__AGENT1)
% 2.05/2.24 & - ( =(V__AGENT1,V__AGENT2) )
% 2.05/2.24 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__Detaching,s__EnglishLanguage,'A &
% 2.05/2.24 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 2.05/2.24 & s__destination(V__GIVE1,V__AGENT2)
% 2.05/2.24 & s__destination(V__GIVE2,V__AGENT1)
% 2.05/2.24 & - ( =(V__AGENT1,V__AGENT2) )
% 2.05/2.24 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__Combining,s__EnglishLanguage,'A &
% 2.05/2.24 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 2.05/2.24 & s__destination(V__GIVE1,V__AGENT2)
% 2.05/2.24 & s__destination(V__GIVE2,V__AGENT1)
% 2.05/2.24 & - ( =(V__AGENT1,V__AGENT2) )
% 2.05/2.24 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__Separating,s__EnglishLanguage,'A &
% 2.05/2.24 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 2.05/2.24 & s__destination(V__GIVE1,V__AGENT2)
% 2.05/2.24 & s__destination(V__GIVE2,V__AGENT1)
% 2.05/2.24 & - ( =(V__AGENT1,V__AGENT2) )
% 2.05/2.24 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 2.05/2.24
% 2.05/2.24 ERROR, name too big, max is 255;
% 2.05/2.24 ERROR, name expected:
% 2.05/2.24
% 2.05/2.24
% 2.05/2.24 s__documentation(s__ChemicalProcess,s__EnglishLanguage,'A &
% 2.05/2.24 ***HERE*** & s__patient(V__GIVE2,V__OBJ2)
% 2.05/2.24 & s__destination(V__GIVE1,V__AGENT2)
% 2.22/2.44 & s__destination(V__GIVE2,V__AGENT1)
% 2.22/2.44 & - ( =(V__AGENT1,V__AGENT2) )
% 2.22/2.44 & - ( =(V__OBJ1,V__OBJ2) ) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__InternalChange,s__EnglishLanguage,'&
% 2.22/2.44 ***HERE*** & s__subProcess(V__LIGHT,V__COMBUSTION) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Pretending,s__EnglishLanguage,'Any &
% 2.22/2.44 ***HERE*** & - ( =(V__AGENT1,V__AGENT2) ) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Communication,s__EnglishLanguage,'A &
% 2.22/2.44 ***HERE*** & s__instance(V__LANGUAGE1,s__Language)
% 2.22/2.44 & s__representsInLanguage(V__EXPRESSION1,V__ENTITY,V__LANGUAGE1)
% 2.22/2.44 & s__representsInLanguage(V__EXPRESSION2,V__ENTITY,V__LANGUAGE2)
% 2.22/2.44 & - ( =(V__LANGUAGE1,V__LANGUAGE2) ) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Expressing,s__EnglishLanguage,'Instances of this &
% 2.22/2.44 ***HERE*** & s__representsInLanguage(V__EXPRESSION2,V__ENTITY,V__LANGUAGE2)
% 2.22/2.44 & - ( =(V__LANGUAGE1,V__LANGUAGE2) ) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Disagreeing,s__EnglishLanguage,'A &
% 2.22/2.44 ***HERE*** & s__representsInLanguage(V__EXPRESSION2,V__ENTITY,V__LANGUAGE2)
% 2.22/2.44 & - ( =(V__LANGUAGE1,V__LANGUAGE2) ) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Offering,s__EnglishLanguage,'The subclass of &
% 2.22/2.44 ***HERE*** & s__instance(V__STATE1,s__ContentBearingPhysical)
% 2.22/2.44 & s__instance(V__A2,s__Agent)
% 2.22/2.44 & s__instance(V__A1,s__Agent)
% 2.22/2.44 & s__subProcess(V__STATE1,V__DIS)
% 2.22/2.44 & s__subProcess(V__STATE2,V__DIS)
% 2.22/2.44 & s__agent(V__STATE1,V__A1)
% 2.22/2.44 & s__agent(V__STATE2,V__A2)
% 2.22/2.44 & s__containsInformation(V__STATE1,V__STMT1)
% 2.22/2.44 & s__containsInformation(V__STATE2,V__STMT2)
% 2.22/2.44 & -s__consistent(V__STMT1,V__STMT2) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Contest,s__EnglishLanguage,'A &
% 2.22/2.44 ***HERE*** & s__instance(V__A1,s__Agent)
% 2.22/2.44 & s__subProcess(V__STATE1,V__DIS)
% 2.22/2.44 & s__subProcess(V__STATE2,V__DIS)
% 2.22/2.44 & s__agent(V__STATE1,V__A1)
% 2.22/2.44 & s__agent(V__STATE2,V__A2)
% 2.22/2.44 & s__containsInformation(V__STATE1,V__STMT1)
% 2.22/2.44 & s__containsInformation(V__STATE2,V__STMT2)
% 2.22/2.44 & -s__consistent(V__STMT1,V__STMT2) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Battle,s__EnglishLanguage,'A &
% 2.22/2.44 ***HERE*** & s__instance(V__AGENT,s__Collection) )
% 2.22/2.44 -> ( s__member(V__MEMBER,V__AGENT)
% 2.22/2.44 -> s__instance(V__MEMBER,s__GeopoliticalArea) ) ) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Maneuver,s__EnglishLanguage,'An intentional move or play within a &
% 2.22/2.44 ***HERE*** & s__instance(V__AGENT,s__Collection) )
% 2.22/2.44 -> ( s__member(V__MEMBER,V__AGENT)
% 2.22/2.44 -> s__instance(V__MEMBER,s__GeopoliticalArea) ) ) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__TactilePerception,s__EnglishLanguage,'The &
% 2.22/2.44 ***HERE*** & s__instance(V__HUMAN,s__Human)
% 2.22/2.44 & 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) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__Singing,s__EnglishLanguage,'&
% 2.22/2.44 ***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) ) ) ) ) ) ) ).
% 2.22/2.44
% 2.22/2.44 ERROR, name too big, max is 255;
% 2.22/2.44 ERROR, name expected:
% 2.22/2.44
% 2.22/2.44
% 2.22/2.44 s__documentation(s__AstronomicalBody,s__EnglishLanguage,'The &
% 2.22/2.44 ***HERE*** & s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
% 2.22/2.44 & greater(V__PRES,"29.92")
% 2.50/2.68 & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
% 2.50/2.68 & less(V__TEMP,V__MELT) )
% 2.50/2.68 -> s__attribute(V__X,s__Solid) ) ) ) ).
% 2.50/2.68
% 2.50/2.68 ERROR, name too big, max is 255;
% 2.50/2.68 ERROR, name expected:
% 2.50/2.68
% 2.50/2.68
% 2.50/2.68 s__documentation(s__GeographicArea,s__EnglishLanguage,'A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass &
% 2.50/2.68 ***HERE*** & greater(V__PRES,"29.92")
% 2.50/2.68 & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
% 2.50/2.68 & less(V__TEMP,V__MELT) )
% 2.50/2.68 -> s__attribute(V__X,s__Solid) ) ) ) ).
% 2.50/2.68
% 2.50/2.68 ERROR, name too big, max is 255;
% 2.50/2.68 ERROR, name expected:
% 2.50/2.68
% 2.50/2.68
% 2.50/2.68 s__documentation(s__geopoliticalSubdivision__m,s__EnglishLanguage,'(&
% 2.50/2.68 ***HERE*** & greater(V__PRES,"29.92")
% 2.50/2.68 & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
% 2.50/2.68 & less(V__TEMP,V__MELT) )
% 2.50/2.68 -> s__attribute(V__X,s__Solid) ) ) ) ).
% 2.50/2.68
% 2.50/2.68 ERROR, name too big, max is 255;
% 2.50/2.68 ERROR, name expected:
% 2.50/2.68
% 2.50/2.68
% 2.50/2.68 s__documentation(s__Continent,s__EnglishLanguage,'As defined in the CIA World Fact Book, &
% 2.50/2.68 ***HERE*** & greater(V__PRES,"29.92")
% 2.50/2.68 & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
% 2.50/2.68 & less(V__TEMP,V__MELT) )
% 2.50/2.68 -> s__attribute(V__X,s__Solid) ) ) ) ).
% 2.50/2.68
% 2.50/2.68 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__County,s__EnglishLanguage,'A &
% 2.50/2.69 ***HERE*** & s__part(V__PART1,V__ISLAND)
% 2.50/2.69 & s__part(V__PART2,V__AREA)
% 2.50/2.69 & -s__part(V__ISLAND,V__AREA)
% 2.50/2.69 & -s__part(V__AREA,V__ISLAND)
% 2.50/2.69 & s__meetsSpatially(V__PART1,V__PART2) ) ) ) ) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__Roadway,s__EnglishLanguage,'&
% 2.50/2.69 ***HERE*** & -s__part(V__ISLAND,V__AREA)
% 2.50/2.69 & -s__part(V__AREA,V__ISLAND)
% 2.50/2.69 & s__meetsSpatially(V__PART1,V__PART2) ) ) ) ) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__Fish,s__EnglishLanguage,'A cold-blooded aquatic &
% 2.50/2.69 ***HERE*** & s__instance(V__CELL,s__Cell) ) ) ) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__BiologicallyActiveSubstance,s__EnglishLanguage,'A &
% 2.50/2.69 ***HERE*** -> s__attribute(V__X,s__Solid) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 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.').
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__Hormone,s__EnglishLanguage,'In &
% 2.50/2.69 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 2.50/2.69 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__Meat,s__EnglishLanguage,'Any food which was originally part of an &
% 2.50/2.69 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 2.50/2.69 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__Tissue,s__EnglishLanguage,'An aggregation of similarly specialized &
% 2.50/2.69 ***HERE*** & s__holdsDuring(V__TIME,'(s__instance(V__ANIMAL,s__Animal) & s__part(V__SUBPART,V__ANIMAL))') ) ) ) ) ) ) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__ParticleWord,s__EnglishLanguage,'An umbrella &
% 2.50/2.69 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 2.50/2.69 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__FactualText,s__EnglishLanguage,'The class of &
% 2.50/2.69 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 2.50/2.69 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 2.50/2.69
% 2.50/2.69 ERROR, name too big, max is 255;
% 2.50/2.69 ERROR, name expected:
% 2.50/2.69
% 2.50/2.69
% 2.50/2.69 s__documentation(s__FictionalText,s__EnglishLanguage,'The class of &
% 2.50/2.69 ***HERE*** & s__measure(V__PART,V__MEASURE2)
% 2.62/2.81 & greater(V__MEASURE1,V__MEASURE2) ) ) ) ) ) ) ) ) ) ).
% 2.62/2.81
% 2.62/2.81 ERROR, name too big, max is 255;
% 2.62/2.81 ERROR, name expected:
% 2.62/2.81
% 2.62/2.81
% 2.62/2.81 s__documentation(s__ResidentialBuilding,s__EnglishLanguage,'A &
% 2.62/2.81 ***HERE*** & s__instance(V__PUB1,s__Process) )
% 2.62/2.81 -> ( ( =(s__EditionFn(V__TEXT,V__INT1),V__EDITION1)
% 2.62/2.81 & =(s__EditionFn(V__TEXT,V__INT2),V__EDITION2)
% 2.63/2.81 & greater(V__INT2,V__INT1)
% 2.63/2.81 & s__instance(V__PUB1,s__Publication)
% 2.63/2.81 & s__instance(V__PUB2,s__Publication)
% 2.63/2.81 & s__instance(V__CBO1,V__EDITION1)
% 2.63/2.81 & s__instance(V__CBO2,V__EDITION2)
% 2.63/2.81 & s__patient(V__PUB1,V__CBO1)
% 2.63/2.81 & s__patient(V__PUB2,V__CBO2)
% 2.63/2.81 & s__date(V__PUB1,V__DATE1)
% 2.63/2.81 & s__date(V__PUB2,V__DATE2) )
% 2.63/2.81 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 2.63/2.81
% 2.63/2.81 ERROR, name too big, max is 255;
% 2.63/2.81 ERROR, name expected:
% 2.63/2.81
% 2.63/2.81
% 2.63/2.81 ( all V__RESIDENCE (
% 2.63/2.81 ( s__instance(V__RESIDENCE,s__SingleFamilyResidence)
% 2.63/2.81 -> 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))))))') ) ) ).
% 2.63/2.81
% 2.63/2.81 ERROR, name too big, max is 255;
% 2.63/2.81 ERROR, name expected:
% 2.63/2.81
% 2.63/2.81
% 2.63/2.81 s__documentation(s__Fabric,s__EnglishLanguage,'&
% 2.63/2.81 ***HERE*** -> ( ( =(s__EditionFn(V__TEXT,V__INT1),V__EDITION1)
% 2.63/2.81 & =(s__EditionFn(V__TEXT,V__INT2),V__EDITION2)
% 2.63/2.81 & greater(V__INT2,V__INT1)
% 2.63/2.81 & s__instance(V__PUB1,s__Publication)
% 2.63/2.81 & s__instance(V__PUB2,s__Publication)
% 2.63/2.81 & s__instance(V__CBO1,V__EDITION1)
% 2.63/2.81 & s__instance(V__CBO2,V__EDITION2)
% 2.63/2.81 & s__patient(V__PUB1,V__CBO1)
% 2.63/2.81 & s__patient(V__PUB2,V__CBO2)
% 2.63/2.81 & s__date(V__PUB1,V__DATE1)
% 2.63/2.81 & s__date(V__PUB2,V__DATE2) )
% 2.63/2.81 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 2.63/2.81
% 2.63/2.81 ERROR, name too big, max is 255;
% 2.63/2.81 ERROR, name expected:
% 2.63/2.81
% 2.63/2.81
% 2.63/2.81 s__documentation(s__Vehicle,s__EnglishLanguage,'&
% 2.63/2.81 ***HERE*** -> ( ( =(s__EditionFn(V__TEXT,V__INT1),V__EDITION1)
% 2.63/2.81 & =(s__EditionFn(V__TEXT,V__INT2),V__EDITION2)
% 2.63/2.81 & greater(V__INT2,V__INT1)
% 2.63/2.81 & s__instance(V__PUB1,s__Publication)
% 2.63/2.81 & s__instance(V__PUB2,s__Publication)
% 2.63/2.81 & s__instance(V__CBO1,V__EDITION1)
% 2.63/2.81 & s__instance(V__CBO2,V__EDITION2)
% 2.63/2.81 & s__patient(V__PUB1,V__CBO1)
% 2.63/2.81 & s__patient(V__PUB2,V__CBO2)
% 2.63/2.81 & s__date(V__PUB1,V__DATE1)
% 2.63/2.81 & s__date(V__PUB2,V__DATE2) )
% 2.63/2.81 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 2.63/2.81
% 2.63/2.81 ERROR, name too big, max is 255;
% 2.63/2.81 ERROR, name expected:
% 2.63/2.81
% 2.63/2.81
% 2.63/2.81 s__documentation(s__EngineeringComponent,s__EnglishLanguage,'A fundamental concept that applies in many engineering domains. An &
% 2.63/2.81 ***HERE*** & =(s__EditionFn(V__TEXT,V__INT2),V__EDITION2)
% 2.63/2.81 & greater(V__INT2,V__INT1)
% 2.63/2.81 & s__instance(V__PUB1,s__Publication)
% 2.63/2.81 & s__instance(V__PUB2,s__Publication)
% 2.63/2.81 & s__instance(V__CBO1,V__EDITION1)
% 2.63/2.81 & s__instance(V__CBO2,V__EDITION2)
% 2.63/2.81 & s__patient(V__PUB1,V__CBO1)
% 2.63/2.81 & s__patient(V__PUB2,V__CBO2)
% 2.63/2.81 & s__date(V__PUB1,V__DATE1)
% 2.63/2.81 & s__date(V__PUB2,V__DATE2) )
% 2.63/2.81 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 2.63/2.81
% 2.63/2.81 ERROR, name too big, max is 255;
% 2.63/2.81 ERROR, name expected:
% 2.63/2.81
% 2.63/2.81
% 2.63/2.81 s__documentation(s__connectedEngineeringComponents__m,s__EnglishLanguage,'This is the most general connection relation between &
% 2.63/2.81 ***HERE*** & greater(V__INT2,V__INT1)
% 2.63/2.81 & s__instance(V__PUB1,s__Publication)
% 2.63/2.81 & s__instance(V__PUB2,s__Publication)
% 2.63/2.81 & s__instance(V__CBO1,V__EDITION1)
% 2.63/2.81 & s__instance(V__CBO2,V__EDITION2)
% 2.63/2.81 & s__patient(V__PUB1,V__CBO1)
% 2.63/2.81 & s__patient(V__PUB2,V__CBO2)
% 2.63/2.81 & s__date(V__PUB1,V__DATE1)
% 2.63/2.81 & s__date(V__PUB2,V__DATE2) )
% 2.63/2.81 -> s__before(s__EndFn(V__DATE1),s__EndFn(V__DATE2)) ) ) ) ).
% 2.63/2.81
% 2.63/2.81 ERROR, name too big, max is 255;
% 2.63/2.81 ERROR, name expected:
% 2.63/2.81
% 2.63/2.81
% 2.63/2.81 s__documentation(s__EngineeringConnection,s__EnglishLanguage,'An &
% 2.63/2.81 ***HERE***
% 2.63/2.81
% 2.63/2.81 ERROR, name too big, max is 255;
% 2.63/2.81 ERROR, name expected:
% 2.63/2.81
% 2.63/2.81
% 2.92/3.14 s__documentation(s__connectsEngineeringComponents__m,s__EnglishLanguage,'&
% 2.92/3.14 ***HERE***
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__relative__m,s__EnglishLanguage,'(&
% 2.92/3.14 ***HERE*** & s__age(V__MEMB2,V__AGE2) )
% 2.92/3.14 -> =(V__AGE1,V__AGE2) ) ) ) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__acquaintance__m,s__EnglishLanguage,'(&
% 2.92/3.14 ***HERE*** & s__confersObligation(V__OBLIGATION,V__DECLARE,V__AGENT2) ) ) ) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__mutualAcquaintance__m,s__EnglishLanguage,'(&
% 2.92/3.14 ***HERE*** & - ( =(V__PARENT1,V__PARENT2) ) )
% 2.92/3.14 -> s__sibling(V__ORGANISM1,V__ORGANISM2) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__Organization,s__EnglishLanguage,'An &
% 2.92/3.14 ***HERE***
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__GovernmentFn__m,s__EnglishLanguage,'(&
% 2.92/3.14 ***HERE***
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__JudicialOrganization,s__EnglishLanguage,'&
% 2.92/3.14 ***HERE***
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 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 &
% 2.92/3.14 ***HERE***
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__orientation__m,s__EnglishLanguage,'A general &
% 2.92/3.14 ***HERE*** & s__conclusion(V__CONCLUSION,V__ARGUMENT) )
% 2.92/3.14 -> ( exists V__FORMULA1 V__FORMULA2 (
% 2.92/3.14 ( s__instance(V__FORMULA2,s__ContentBearingPhysical)
% 2.92/3.14 & s__instance(V__FORMULA1,s__ContentBearingPhysical)
% 2.92/3.14 & s__containsInformation(V__FORMULA1,V__PREMISES)
% 2.92/3.14 & s__containsInformation(V__FORMULA2,V__CONCLUSION)
% 2.92/3.14 & s__entails(V__PREMISES,V__CONCLUSION) ) ) ) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__faces__m,s__EnglishLanguage,'(&
% 2.92/3.14 ***HERE*** & s__inList(V__ATTR1,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 2.92/3.14 & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 2.92/3.14 & - ( =(V__ATTR1,V__ATTR2) ) )
% 2.92/3.14 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__CoordinatedUniversalTimeZone,s__EnglishLanguage,'A &
% 2.92/3.14 ***HERE*** & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 2.92/3.14 & - ( =(V__ATTR1,V__ATTR2) ) )
% 2.92/3.14 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__RelativeTimeFn__m,s__EnglishLanguage,'A means of converting &
% 2.92/3.14 ***HERE*** & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 2.92/3.14 & - ( =(V__ATTR1,V__ATTR2) ) )
% 2.92/3.14 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__occupiesPosition__m,s__EnglishLanguage,'(&
% 2.92/3.14 ***HERE*** & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 2.92/3.14 & - ( =(V__ATTR1,V__ATTR2) ) )
% 2.92/3.14 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, ')' expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__modalAttribute__m,s__EnglishLanguage,'A &
% 2.92/3.14 ***HERE*** & s__inList(V__ATTR2,s__ListFn_7(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
% 2.92/3.14 & - ( =(V__ATTR1,V__ATTR2) ) )
% 2.92/3.14 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__SubjectiveAssessmentAttribute,s__EnglishLanguage,'The &
% 2.92/3.14 ***HERE*** & - ( =(V__ATTR1,V__ATTR2) ) )
% 2.92/3.14 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 2.92/3.14 ERROR, name expected:
% 2.92/3.14
% 2.92/3.14
% 2.92/3.14 s__documentation(s__ContestAttribute,s__EnglishLanguage,'A &
% 2.92/3.14 ***HERE*** & - ( =(V__ATTR1,V__ATTR2) ) )
% 2.92/3.14 -> -s__orientation(V__OBJ1,V__OBJ2,V__ATTR2) ) ) ) ).
% 2.92/3.14
% 2.92/3.14 ERROR, name too big, max is 255;
% 3.12/3.30 ERROR, name expected:
% 3.12/3.30
% 3.12/3.30
% 3.12/3.30 s__documentation(s__Law,s__EnglishLanguage,'&
% 3.12/3.30 ***HERE*** & ( s__agent(V__CONTEST,V__THING)
% 3.12/3.30 | s__patient(V__CONTEST,V__THING)
% 3.12/3.30 | s__subProcess(V__THING,V__CONTEST) ) ) ) ) ) ) ) ).
% 3.12/3.30
% 3.12/3.30 ERROR, name too big, max is 255;
% 3.12/3.30 ERROR, name expected:
% 3.12/3.30
% 3.12/3.30
% 3.12/3.30 s__documentation(s__PhysicalState,s__EnglishLanguage,'The physical state of an &
% 3.12/3.30 ***HERE*** | s__subProcess(V__THING,V__CONTEST) ) ) ) ) ) ) ) ).
% 3.12/3.30
% 3.12/3.30 ERROR, name too big, max is 255;
% 3.12/3.30 ERROR, name expected:
% 3.12/3.30
% 3.12/3.30
% 3.12/3.30 s__documentation(s__Plasma,s__EnglishLanguage,'An extremely energetic &
% 3.12/3.30 ***HERE*** | s__subProcess(V__THING,V__CONTEST) ) ) ) ) ) ) ) ).
% 3.12/3.30
% 3.12/3.30 ======= end of input processing =======
% 3.12/3.30
% 3.12/3.30 206 input errors were found.
% 3.12/3.30
% 3.12/3.30 206 input errors were found.
%------------------------------------------------------------------------------