gistfile1.txt

saveModel: False
system:
    seed: 0
    work_dir: ./out/chargpt
data:
    block_size: 1024
model:
    model_type: gopher-44m
    activation: LeakyReLU(negative_slope=0.01)
    n_layer: None
    n_head: None
    n_embd: None
    vocab_size: None
    block_size: None
    attn_pdrop: 0.25
    resid_pdrop: 0.25
    embd_pdrop: 0.25
trainer:
    device: auto
    max_iters: 100000.0
    batch_size: 8
    learning_rate: 0.0001
    betas: (0.9, 0.999)
    eps: 1e-08
    weight_decay: 0.2
    grad_norm_clip: None
    grad_accumulation_steps: 1

data has 1605689 characters, 157 unique.
number of parameters: 25824768
running on device cuda
iter_dt 938.18ms; iter 50: train loss 3.48095
iter_dt 935.45ms; iter 100: train loss 2.76517
iter_dt 931.71ms; iter 150: train loss 2.55808
iter_dt 935.37ms; iter 200: train loss 2.48732
iter_dt 935.70ms; iter 250: train loss 2.44653
iter_dt 935.36ms; iter 300: train loss 2.39934
iter_dt 933.63ms; iter 350: train loss 2.37780
iter_dt 934.69ms; iter 400: train loss 2.36101
iter_dt 934.88ms; iter 450: train loss 2.30634
iter_dt 933.85ms; iter 500: train loss 2.27968
iter_dt 934.14ms; iter 550: train loss 2.22922
iter_dt 934.39ms; iter 600: train loss 2.17764
iter_dt 934.41ms; iter 650: train loss 2.09116
iter_dt 938.17ms; iter 700: train loss 2.04121
iter_dt 936.04ms; iter 750: train loss 1.96088
iter_dt 934.55ms; iter 800: train loss 1.89729
iter_dt 933.52ms; iter 850: train loss 1.86581
iter_dt 934.78ms; iter 900: train loss 1.80261
iter_dt 934.11ms; iter 950: train loss 1.76854
iter_dt 935.80ms; iter 1000: train loss 1.73331
(dins (and
    (and
    (instance ?B Boting)
    (instance ?B)
     (cocess ?W ?O)))))
(subclass Strtaled Chectcess Subcroces ")
(documentation Sonelan EnglishLanguage "A &%Clarcerg the the o the s othar acof 
&%We win &%Sect erspos acrndes ind wile s is &%Charpes.")

(=>
  (instance ?X Stisstate)
   (part ?S ?S)
   (exists (?S ?S)
      (and
             (instance ?S Subrersere)
             (instance ?S ?S)))
         (exists (?D)
       (and
           (instance ?S Decoce)
          (instance ?A Hosticeratere)
                (lorat ?S ?S))))))
(documentation Rerry EnglishLanguage "Afrn &%Haburt the os ond o ind isprth theand 
me sthe anssed apolanved.")
(documentation Plepist EnglishLanguage "An alormar rst the iche ist f schenof tha 
certowiler athes wofind a lin prof trt spede bistore is cototomat t comar the ter sur anthibe cur.")

(=>
  (instance ?A Holarng)
  (exis (?B)
    (and
         (instance ?B Beprecinging)
         (port ?S ?B)
         (peport ?A ?A ?B))
                       
(subclas Spartibry EfinglishLanguage "An &%Blinicartibue th is lis &%Blaprth icess arer w isecle.")

(subAstibute Partibutibuty Skerancte)
(documentation Fus EnglishLanguage "Angibllis ca ctopolarte s f ororich &%Bicharac is acrott os.")

(=>
  (and
    (instance ?B Cotiang)
      (instance ?C Clobig)
       (exists (?A)
        (and
            (instance ?D ?A)
         (parcte ?B ?B)
       (pat ?B)
         (apartitibute ?B ?H)
                     (pat ?B ?A)
         
(subclas Coctice OfechongaryPoctinthiongion)
(documentation Catrtin EnglishLanguage "Antinke ha &%Whis lede bjesit ore an a serand inst thete t, othe ichech bons tomed ea apermant.")


(subclass MadicaliclSpalabs Stonecrictiontion)
(documentation BlengalishLanguage "A athis at ofe t by coforo ipent tof orisoris, 
ic. he a cabublis &%Reatery ared ola aportat wind ammisch asat aroron cinthen atede atand brturepate s, seatheche apes, aplatit.")

(=>
  (instance ?HE Recerisicling)
     (instance ?PE)
      (pat ?P ?PE))
     (instance ?P T Codingase)
       
iter_dt 935.27ms; iter 1050: train loss 1.68271
iter_dt 934.80ms; iter 1100: train loss 1.63452
iter_dt 934.26ms; iter 1150: train loss 1.61244
iter_dt 934.88ms; iter 1200: train loss 1.56077
iter_dt 935.69ms; iter 1250: train loss 1.52783
iter_dt 934.25ms; iter 1300: train loss 1.47923
iter_dt 935.52ms; iter 1350: train loss 1.46205
iter_dt 936.98ms; iter 1400: train loss 1.42107
iter_dt 934.16ms; iter 1450: train loss 1.37203
iter_dt 936.08ms; iter 1500: train loss 1.35420
iter_dt 940.63ms; iter 1550: train loss 1.33820
iter_dt 936.68ms; iter 1600: train loss 1.28389
iter_dt 937.98ms; iter 1650: train loss 1.21020
iter_dt 934.76ms; iter 1700: train loss 1.24335
iter_dt 934.32ms; iter 1750: train loss 1.17952
iter_dt 935.69ms; iter 1800: train loss 1.15750
iter_dt 933.47ms; iter 1850: train loss 1.11235
iter_dt 937.54ms; iter 1900: train loss 1.06167
iter_dt 935.96ms; iter 1950: train loss 1.04769
iter_dt 934.09ms; iter 2000: train loss 1.03061
(?W
        (and
        (instance ?B Waintent)
       (part ?X ?W))))

(subclass Autent Linght)
(documentation Autent EnglishLanguage "A &%Autent struces of a &%AutomousAgent of be a &%Object")
(=>
  (instance ?A Autent)
  (exists (?A)
    (and
      (instance ?A AutomousAgent)
      (part ?A ?A)))

(subclass ThamicAroat AutomousAgent Cogning)
(documentation AutomicAroatmicAgent EnglishLanguage "A &%AutomousAgent in a part of &%Songrat the in ring a
a &%Songratent to expertents.")

(subclass HutAuntomicAry CosingArtment)

(documentation HutAutomicAry EnglishLanguage "AutomicAry of &%CosigngArtmicRotion.")

(=>
  (instance ?H HututomAtricRoticRon)
  (=>
  (hasPurpose ?HI 
     (exists (?H)
      (and
        (instance ?H HuturngAnization)
        (instance ?H Hutom)))

(subclass AntromicAtry AutomicArtomicRollllll)
(documentation AntromicAtry EnglishLanguage "A &%CosingArtibute which is &%Auttribute
sed which &%Consion &%Coficion a part the some of fom 
of &%ContionArtmicRolllll at &%ContionArttricRolllllation an &%CosinionArttribute)
(documentation AntromicAtry EnglishLanguage "Any &%Antribute the &%CosingArttribute is srom part a of 
&%ConntesArttribute an &%Antribute)
(=>
  (and
    (instance ?A Antratribute)
    (part ?A ?W)
   (holdsDuring (WhenFn ?P)
    (and
      (instance ?A Antrtry)
     (part ?A ?A)
    (part ?A ?A))))
 (holdsDuring 
   (WhenFn ?A))
    (holdsDuring ?A 
     (holdsDuring 
      (Fn (WhenFn ?A) 
      (located ?A ?A)))

(subclass Antribute Antrtribute)
(documentation Antribute EnglishLanguage "An &%Contribute where the &%Ostribute and a &%BoddyPosition where and 
trateribute destibute and the &%Contribute and
&%Artribute the &%Arttribute and sibuthed a &%Contribute to a &%Contribute.")

(=>
  (instance ?ATTR Antribute)
  (exists (?ATRTT)
   (and
     (instance ?ATTRT Atribute)
     (part ?ATTRT ?ATTR)
     (part ?ATTRTRTR ?ATTR)
    (exists (?STRTR)
      (and
         (instance ?STRTR Sutrtibute)
      (part ?STRT ?STROTRT))))))
(=>
  (instance ?STRTR Anttribute)
  (exists (?STRT)
    (
iter_dt 931.95ms; iter 2050: train loss 0.99919
iter_dt 935.41ms; iter 2100: train loss 0.99128
iter_dt 934.94ms; iter 2150: train loss 0.97196
iter_dt 934.72ms; iter 2200: train loss 0.94188
iter_dt 934.04ms; iter 2250: train loss 0.90796
iter_dt 937.25ms; iter 2300: train loss 0.88163
iter_dt 935.70ms; iter 2350: train loss 0.90247
iter_dt 934.13ms; iter 2400: train loss 0.87404
iter_dt 934.55ms; iter 2450: train loss 0.85026
iter_dt 935.59ms; iter 2500: train loss 0.84229
iter_dt 936.18ms; iter 2550: train loss 0.85407
iter_dt 932.87ms; iter 2600: train loss 0.83237
iter_dt 934.45ms; iter 2650: train loss 0.80916
iter_dt 933.81ms; iter 2700: train loss 0.81325
iter_dt 934.26ms; iter 2750: train loss 0.79878
iter_dt 949.57ms; iter 2800: train loss 0.78183
iter_dt 939.94ms; iter 2850: train loss 0.77954
iter_dt 942.47ms; iter 2900: train loss 0.77818
iter_dt 933.17ms; iter 2950: train loss 0.74316
iter_dt 936.24ms; iter 3000: train loss 0.75716
(?C CurentaionFn ?F))
     (part ?F ?H)
     (instance ?F Formal)
     (result ?F ?C)))

(subclass Postion RecirentionalProcess)
(documentation Postion EnglishLanguage "A &%RecirentionalProcess recise used in a &%Recirention 
and symmbolicate of intentionalProcess to the sentionalProcesses.")

(=>
  (instance ?P Postion)
  (exists (?R)
   (and
      (instance ?R Postion)
      (recesson ?P ?R))))

(subclass RecirentionalProcess RecirentionalProcess)
(documentation RecirentionalProcess EnglishLanguage "A &%RecirentionalProcess where the 
of &%RecirentionalProcesses the &%Process.")

(=>
  (instance ?RECIRENTION RecirentionalProcess)
  (exists (?PROCESSS ?RECIRENTION)
    (and
        (instance ?PROCESSS RecirentionalProcess)
       (origin ?RECIRENTION ?RECIRENTION)
       (recesson ?RECIRENTION ?PROCESSS))

(subclass RecirentionalProcess OrganizationProcess)
(documentation RecirentionalProcess EnglishLanguage "Any &%Process where in the &%OrganizationProcess of all the &%OrganizationProcesss 
its decirentionalProcess ceremonns objection of the recirentionalProcesseses.")

(=>
   (instance ?RECIRENTION RecirentionalProcess)
   (exists (?RECIRENTION)
      (and
          (instance ?RECIRENTION RecirentionalProcess)
            (instance ?RECIRENTION RecirentionalProcess)
        (recirented ?RECIRENTION ?RECIRENTION)))
      
(instance personalProcess RecirentionalProcess)
(documentation personalProcess EnglishLanguage "A personalProcess of a &%Organization where the &%OrganizationProcess is a &%Organization
by and &%OrganizationAgent consistinguished the the &%Organization of &%OrganizationProcess.
A &%OrganizationProcess of &%Organization for &%OrganizationProcess.")

(=>
  (personalProcess ?ORGANINTION ?RECIRENTION ?RECIRENTION ?ECIRENTION ?ORGANIN)
  (exists (?ORGANIVENTION)
       (and
            (personalProcess ?ORGANIVENTION ?ORGANIVENTION)
          (instance ?ORGANIVENTION OrganizationOrganization)
         (personalProcess ?ORGANIzAgization)
        (personalProcess ?ORGANIVENTION ?ORGANIzATIon)
        
iter_dt 934.61ms; iter 3050: train loss 0.76323
iter_dt 933.34ms; iter 3100: train loss 0.75427
iter_dt 937.53ms; iter 3150: train loss 0.74639
iter_dt 935.03ms; iter 3200: train loss 0.72325
iter_dt 934.73ms; iter 3250: train loss 0.74837
iter_dt 939.25ms; iter 3300: train loss 0.69122
iter_dt 935.01ms; iter 3350: train loss 0.70402
iter_dt 934.00ms; iter 3400: train loss 0.70384
iter_dt 935.55ms; iter 3450: train loss 0.68589
iter_dt 934.58ms; iter 3500: train loss 0.70808
iter_dt 935.13ms; iter 3550: train loss 0.69168
iter_dt 935.64ms; iter 3600: train loss 0.67349
iter_dt 934.49ms; iter 3650: train loss 0.70757
iter_dt 934.21ms; iter 3700: train loss 0.67587
iter_dt 934.55ms; iter 3750: train loss 0.66880
iter_dt 934.42ms; iter 3800: train loss 0.65905
iter_dt 934.76ms; iter 3850: train loss 0.69723
iter_dt 934.70ms; iter 3900: train loss 0.67480
iter_dt 937.20ms; iter 3950: train loss 0.63657
iter_dt 933.65ms; iter 4000: train loss 0.65517
(and
   (instance ?S Strep)
   (hasPurpose ?S ?S)
    (exists (?A ?C)
     (and
        (instance ?A AutonomousAgent)
         (instance ?C Chine)
       (instance ?A AutonomousAgent))
   (hasPurpose ?A 
      (exists (?C)
         (and
           (instance ?C Chine)
          (instance ?C Chine)
         (eventLocated ?C ?P)))))

(subclass AutonomousAgent BodyPart)
(documentation AutonomousAgent EnglishLanguage "A &%BodyPart that is the &%BodyPart to a state that 
provided of the &%AutonomousAgent of &%BodyPart that conntented with the &%AutonomousAgent.")

(=>
  (and
    (instance ?AUTON AutonomousAgent)
    (instance ?AUTON AutonomousAgent)
   (hasPurpose ?AUTON 
     (exists (?CONTENT)
      (and
        (instance ?CONTENT ContentBearing)
       (instance ?CONTENT Content)
       (instance ?CONTENT BodyPart)
      (instance ?CONTENT ContentBearing))))

(subclass Transportation BodyPart)
(documentation Transportation EnglishLanguage "A &%BodyPart that is content of a &%BodyPart is a &%BodyPart that content the
&%ContentBearingObject that transportation &%BodyPart of &%BodyPart fict the &%BodyPart of a
&%ContentBearingObject that a &%BodyPart to make the &%BodyPart.")

(=>
  (instance ?TRANSPORT Transportation)
  (exists (?TRANSPORT ?TRANSPORT)
      (and
        (instance ?TRANSPORT Transportation)
        (instance ?TRANSPORT BodyPart)
          (instance ?TRANSPORT BodyPart)
         (instance ?TRANSPORT BodyPart)
       (agent ?TRANSPORT ?TRANSPORT)
         (instance ?TRANSPORT Transportation)))

(subclass Transportation BodyPart)

(documentation Transportation EnglishLanguage "&%Transportation refers that has instance of &%Function that is some
the &%Function is a &%Function that instance of &%Function &%Transportation that assported function
are &%Transportation.")

(=>
   (instance ?TRANSPORT Transportation)
   (exists (?MACTION ?TRANSPORT)
      (and
        (instance ?MACTION Transportation)
        (instance ?MACTION Function)
        (instance ?MACTION Function)
       (instance ?MACTION Function)
  
iter_dt 935.24ms; iter 4050: train loss 0.65132
iter_dt 936.25ms; iter 4100: train loss 0.66054
iter_dt 935.63ms; iter 4150: train loss 0.63465
iter_dt 932.61ms; iter 4200: train loss 0.64839
iter_dt 937.30ms; iter 4250: train loss 0.64003
iter_dt 934.11ms; iter 4300: train loss 0.61385
iter_dt 935.31ms; iter 4350: train loss 0.64209
iter_dt 938.29ms; iter 4400: train loss 0.61247
iter_dt 933.43ms; iter 4450: train loss 0.62641
iter_dt 936.38ms; iter 4500: train loss 0.62801
iter_dt 935.33ms; iter 4550: train loss 0.62961
iter_dt 935.36ms; iter 4600: train loss 0.63239
iter_dt 934.68ms; iter 4650: train loss 0.62915
iter_dt 933.46ms; iter 4700: train loss 0.61996
iter_dt 935.67ms; iter 4750: train loss 0.59876
iter_dt 936.11ms; iter 4800: train loss 0.60897
iter_dt 934.13ms; iter 4850: train loss 0.60702
iter_dt 955.83ms; iter 4900: train loss 0.60020
iter_dt 934.31ms; iter 4950: train loss 0.60872
iter_dt 937.88ms; iter 5000: train loss 0.61863
(instance ?X Cention)
  (exists (?TEXT)
    (and
       (instance ?TEXT Text)
       (part ?TEXT ?TEXT))))

(subclass Text Text)
(documentation Text EnglishLanguage "Any &%Text to the &%Cention which is used to result &%Cention 
but a &%Cention of text of an &%Organization.")

(=>
  (instance ?TEXT Text)
  (exists (?CENTION ?TEXT)
     (and
        (instance ?TEXT Cention)
        (causes ?CENTION ?CENTION)
       (causes ?TEXT ?CENTION)
       (causes ?CENTION ?CENTION)))

(subclass PerceptualAttribute Cention)
(documentation PerceptualAttribute EnglishLanguage "A &%Cention which is &%causes which involve be to a 
&%PerceptualAttribute.")

(=>
  (instance ?ATTR PerceptualAttribute)
  (hasPurpose ?ATTR (exists (?ORGANIzation))
    (holdsDuring ?TIME (causes ?ORGANIzation ?ORGANIzation)))

(subclass Faction Cention)
(documentation Faction EnglishLanguage "A &%Cention which is perceptual to a &%Faction which is used as 
a &%Faction.")

(=>
  (instance ?FACTION Faction)
  (hasPurpose ?FACTION 
    (exists (?FACTION ?FACTION)
      (and
        (causes ?FACTION Faction)
       (instance ?FACTION Faction)
        (origin ?FACTION ?FACTION)
       (causes ?FACTION ?FACTION))))

(subclass Cention SentionaryArtifact)
(documentation Cention EnglishLanguage "A &%SentionaryArtifact which is caused for &%Faction 
and which is a some of &%Faction which an &%Artifact is used to for mit is fired.")

(=>
  (instance ?S Cention)
  (exists (?F)
    (and
      (instance ?F Faction)
      (instance ?F Faction))))

(subclass Maxter SentionaryArtifact)
(documentation Maxter EnglishLanguage "A &%SentionaryArtifact that is cused for the &%Faction.")

(=>
  (instance ?M Maxter)
  (hasPurpose ?M
    (exists (?FACT ?F)
       (and
          (instance ?FACT Faction)
          (instance ?FACT Faction)
         (part ?FACT ?FACT)
         (result ?FACT ?FACT)
         (instance ?FACT Faction)
        (exists (?FACT)
           (and
             (instance ?FACT Faction)
             (part ?FACT ?FACT)
            (instance ?FACT Faction)
      
iter_dt 935.41ms; iter 5050: train loss 0.57607
iter_dt 948.18ms; iter 5100: train loss 0.59123
iter_dt 933.49ms; iter 5150: train loss 0.59930
iter_dt 935.19ms; iter 5200: train loss 0.59356
iter_dt 934.38ms; iter 5250: train loss 0.60073
iter_dt 934.96ms; iter 5300: train loss 0.58115
iter_dt 934.99ms; iter 5350: train loss 0.58744
iter_dt 934.92ms; iter 5400: train loss 0.60075
iter_dt 935.97ms; iter 5450: train loss 0.59551
iter_dt 936.39ms; iter 5500: train loss 0.58779
iter_dt 938.07ms; iter 5550: train loss 0.58319
iter_dt 933.14ms; iter 5600: train loss 0.56839
iter_dt 933.12ms; iter 5650: train loss 0.56387
iter_dt 937.01ms; iter 5700: train loss 0.54768
iter_dt 935.83ms; iter 5750: train loss 0.56103
iter_dt 934.39ms; iter 5800: train loss 0.56684
iter_dt 933.95ms; iter 5850: train loss 0.57513
iter_dt 935.49ms; iter 5900: train loss 0.55712
iter_dt 937.71ms; iter 5950: train loss 0.54903
iter_dt 936.11ms; iter 6000: train loss 0.53347
(holdsDuring (WhenFn ?EV))
    (exists (?C)
       (and
          (instance ?C ContentState)
         (part ?C ?C)))))

(subclass Shep OrganOrTissueProcess)
(documentation Shep EnglishLanguage "A &%OrganOrTissueProcess of &%Organism be
used by a &%Shep that changes the shep of shep.")

(=>
   (instance ?SHEP Shep)
   (exists (?SHEP1 ?SHEP2)
      (and
         (instance ?SHEP1 Shep)
        (part ?SHEP1 ?SHEP2)
        (instance ?SHEP1 Shep)
        (instance ?SHEP2 Shep)
        (part ?SHEP2 ?SHEP2)
        (not (equal ?SHEP1 ?SHEP2))
         (part ?SHEP1 ?SHEP2)
       (part ?SHEP2 ?SHEP1))))

(=>
  (instance ?SHEP1 Shep)
  (exists (?SHEP1)
     (and
       (instance ?SHEP1 Shep)
       (part ?SHEP1 ?SHEP2)
       (part ?SHEEP2 ?SHEP2)))

(=>
  (instance ?SHEP1 Sheep)
  (exists (?SHEP2)
     (and
       (instance ?SHEP2 Shep)
       (part ?SHEP1 ?SHEP1)
       (part ?SHEP2 ?SHEEP1))))

(subclass Process Process)
(documentation Process EnglishLanguage "A &%Process where the class of &%Processes with is some 
&%Shep is the part of the &%Shep.")
(termFormat EnglishLanguage Process "process")

(=>
  (instance ?P Process)
  (exists (?S)
    (and
       (part ?S ?S)
       (part ?S ?S))))

(subclass WeatherProcess Process)
(documentation WeatherProcess EnglishLanguage "A &%Process that is intended the forces intended forces 
&%Shep.")

(=>
   (instance ?WEATHERP WeatherProcess)
  (part ?WEATHERP ?SHEEP1))

(instance WeatherProcess Process)
(documentation WeatherProcess EnglishLanguage "A &%Process which is a &%ShepProcess 
that is case of &%Shep.")
(termFormat EnglishLanguage WeatherProcess "betweeather process")

(=>
   (instance ?WEATHERP WeatherProcess)
   (exists (?SHEP1 ?SHEEP2)
       (and
           (instance ?SHEEP1 Sheping)
           (subProcess ?SHEEP1 ?SHEEP2)
            (subProcess ?SHEEP1 ?WEEATHERP2)
            
         (part ?SHEEP2 ?WEEATHERP1)
            (part ?SHEEP2 ?WEEATHERP2)
           (part ?SHEEP1 ?WEEATHERP2)
           (part ?SHEEP2 ?SHEEP2)
           (part ?SHEEP1 ?WEEATHERP2)
      
iter_dt 953.10ms; iter 6050: train loss 0.54046
iter_dt 934.26ms; iter 6100: train loss 0.54941
iter_dt 934.63ms; iter 6150: train loss 0.55019
iter_dt 934.93ms; iter 6200: train loss 0.55122
iter_dt 935.49ms; iter 6250: train loss 0.54452
iter_dt 934.63ms; iter 6300: train loss 0.52913
iter_dt 935.83ms; iter 6350: train loss 0.54743
iter_dt 935.21ms; iter 6400: train loss 0.54752
iter_dt 934.68ms; iter 6450: train loss 0.55502
iter_dt 935.54ms; iter 6500: train loss 0.54009
iter_dt 934.42ms; iter 6550: train loss 0.55389
iter_dt 933.54ms; iter 6600: train loss 0.53518
iter_dt 933.77ms; iter 6650: train loss 0.52414
iter_dt 934.67ms; iter 6700: train loss 0.52502
iter_dt 933.37ms; iter 6750: train loss 0.52749
iter_dt 936.46ms; iter 6800: train loss 0.52225
iter_dt 934.38ms; iter 6850: train loss 0.51728
iter_dt 935.09ms; iter 6900: train loss 0.51397
iter_dt 933.85ms; iter 6950: train loss 0.51521
iter_dt 936.84ms; iter 7000: train loss 0.50111
(exists (?FORMULA1 ?FORMULA2)
    (and
        (before ?FORMULA1 ?FORMULA2)
       (temporalPart ?FORMULA2 ?FORMULA2)))

(=>
   (and
     (holdsDuring ?TIME
        (before ?HOLE ?FORMULA2))
    (equal ?TIME
       (EndFn
         (WhenFn ?FORMULA1)))
  (holdsDuring ?TIME
      (and
       (beforeOrEqual ?HOLE ?FORMULA1))
   (holdsDuring ?TIME
      (beforeOrEqual ?HOLE ?TIME)))

(=>
  (holdsDuring ?TIME (and
      (beforeOrEqual ?HOLE ?OLE ?OLE))
  (holdsDuring ?TIME
    (beforeOrEqual ?HOLE ?OLE)))

(subclass Player Clothing)
(documentation Player EnglishLanguage "A &%Clothing that is completely to an 
&%AntisymmetricRegion.")

(=>
  (and
    (instance ?PLAYER Player)
    (agent ?PLAYER ?AGENT)
    (not
      (agent ?PLAYER ?AGENT)))
  (holdsDuring ?TIME
    (exists (?TIME)
      (and
        (instance ?TIME AntisymmetricRegion)
       (agent ?PLAYER ?AGENT))))

(subclass Clothing Devolving)
(documentation Clothing EnglishLanguage "Any &%Devolving that is completely or a 
&%Devolving that are conventionally broadcasted by the &%agent 
of the &%AntisymmetricRegions.")

(=>
   (and
      (instance ?AGENT Clothing)
      (instance ?AGENT AntisymmetricRegion))
   (exists (?DEVOL)
      (and
          (instance ?DEVOL Devolving)
          (agent ?DEVOL ?AGENT)
           (agent ?DEVOL ?AGENT)))))

(subclass Clothing Clothing)
(documentation Clothing EnglishLanguage "Any &%Clothing that is completely &%Organism.")

(=>
  (and
     (instance ?CLOTH Clothing)
     (patient ?CLOTH ?ORG))
  (exists (?DEVOL)
    (and
       (instance ?DEVOL Devolving)
       (agent ?DEVOL ?ORG)
       (result ?DEVOL ?CLOTH))))

(=>
  (and
     (instance ?CLOTH Clothing)
     (subProcess ?CLOTH ?CLOTH)
     (result ?CLOTH ?CLOTH))
  (exists (?PROC)
    (and
        (instance ?PROC Devol)
       (result ?PROC ?CLOTH))))

(subclass Antisym Clothing)
(documentation Antisym EnglishLanguage "Any &%Clothing that is contains of &%Clothing that is created 
in a &%Clothing or or series.")

(=>
  (and
     (instance ?ANTISY Antisym)
     (result ?ANT
iter_dt 934.31ms; iter 7050: train loss 0.50877
iter_dt 934.89ms; iter 7100: train loss 0.52819
iter_dt 935.78ms; iter 7150: train loss 0.51311
iter_dt 934.55ms; iter 7200: train loss 0.52679
iter_dt 935.27ms; iter 7250: train loss 0.52099
iter_dt 936.31ms; iter 7300: train loss 0.50396
iter_dt 935.21ms; iter 7350: train loss 0.50155
iter_dt 935.03ms; iter 7400: train loss 0.50371
iter_dt 932.72ms; iter 7450: train loss 0.50133
iter_dt 934.71ms; iter 7500: train loss 0.51671
iter_dt 935.07ms; iter 7550: train loss 0.50957
iter_dt 935.74ms; iter 7600: train loss 0.50218
iter_dt 934.64ms; iter 7650: train loss 0.49751
iter_dt 934.98ms; iter 7700: train loss 0.48209
iter_dt 938.19ms; iter 7750: train loss 0.49183
iter_dt 935.95ms; iter 7800: train loss 0.48393
iter_dt 940.27ms; iter 7850: train loss 0.47085
iter_dt 934.00ms; iter 7900: train loss 0.48124
iter_dt 935.81ms; iter 7950: train loss 0.49538
iter_dt 933.21ms; iter 8000: train loss 0.47910
(instance ?ARGENT Argent)
   (and
      (not (instance ?ARGENT Argent)
        (instance ?ARGENT Argent))))

(=>
   (instance ?ARGENT Argent)
  (exists (?TIME ?OBJ)
    (and
       (instance ?TIME Time)
       (instance ?OBJ Argent)
        (instance ?OBJ Argent)
        (patient ?TIME ?OBJ)
       (holdsDuring ?TIME
         (part ?ARGENT ?OBJ))))

(=>
  (and
     (instance ?ARGENT Argent)
     (attribute ?ARGENT Argent)
     (instance ?OBJ Artifact))
  (exists (?TIME)
    (and
      (instance ?TIME Time)
       (part ?TIME ?OBJ)))

(=>
  (and
     (instance ?ARGENT TimePoint)
     (patient ?ARGENT ?OBJ))
  (and
     (holdsDuring ?TIME (part ?ARGENT ?OBJ))
    (part ?ARGENT ?OBJ))

(=>
  (and
    (instance ?ARGENT Point)
    (part ?ARGENT ?OBJ)
    (subProcess ?ARGENT ?OBJ)
  (part ?ARGENT ?OBJ))

(=>
 (and
   (instance ?ARGENT Argent)
    (part ?ARGENT ?OBJ))
  (exists (?PART)
    (and
      (part ?PART ?OBJ)
       (part ?PART ?OBJ)
       (part ?PART ?OBJ)))

(=>
  (and
     (instance ?ARGENT Argent)
     (part ?ARGENT ?OBJ)
      (part ?ARGENT ?PART))
  (part ?PART ?ARGENT))

(=>
  (and
     (instance ?ARGENT Argent)
      (part ?ARGENT ?PART)
      (part ?PART ?PART))
  (part ?PART ?PART))

(instance part BinaryPredicate)
(instance part AsymmetricRelation)
(instance part IntentionalRelation)
(instance part PartialValuedRelation)
(domain part 1 Physical)
(domain part 2 TimePoint)
(documentation part EnglishLanguage "(&%part ?PART ?OBJ) means that ?PART is a part of ?PART with a &%TimePoint is ?PART.")

(=>
  (part ?PART ?OBJ)
  (exists (?TIME)
     (and
       (part ?PART ?PART)
         (instance ?TIME TimePoint)
          (part ?TIME ?PART)
          (part ?PART ?OBJ))))

(=>
  (part ?PART ?PART)
  (forall (?TIME)
     (=>
       (part ?PART ?PART)
         (instance ?TIME Time))))

(=>
  (part ?PART ?PART)
  (and
     (part ?PART ?PART)
      (or
        (part ?PART ?PART)))
   (holdsDuring ?TIME
       (part ?PART ?PART)))

(=>
  (part ?PART ?PART)
  (exists (?TIME)
    (and
       (part ?PART ?PART)
    
iter_dt 935.63ms; iter 8050: train loss 0.48377
iter_dt 934.21ms; iter 8100: train loss 0.49214
iter_dt 935.20ms; iter 8150: train loss 0.47616
iter_dt 937.76ms; iter 8200: train loss 0.48244
iter_dt 936.88ms; iter 8250: train loss 0.48932
iter_dt 934.47ms; iter 8300: train loss 0.46066
iter_dt 933.63ms; iter 8350: train loss 0.48567
iter_dt 937.35ms; iter 8400: train loss 0.48611
iter_dt 934.55ms; iter 8450: train loss 0.47936
iter_dt 935.97ms; iter 8500: train loss 0.47516
iter_dt 935.53ms; iter 8550: train loss 0.47172
iter_dt 937.24ms; iter 8600: train loss 0.47209
iter_dt 935.58ms; iter 8650: train loss 0.46252
iter_dt 934.89ms; iter 8700: train loss 0.48018
iter_dt 935.73ms; iter 8750: train loss 0.45981
iter_dt 935.28ms; iter 8800: train loss 0.48308
iter_dt 936.56ms; iter 8850: train loss 0.46886
iter_dt 936.02ms; iter 8900: train loss 0.45326
iter_dt 936.95ms; iter 8950: train loss 0.45739
iter_dt 933.80ms; iter 9000: train loss 0.46423
(domain ?MULER ?UNIT)
  (exists (?INST ?QUANT1 ?QUANT2)
     (and
       (instance ?INST ?OBJECT)
        (instance ?INST ?OBJECT)
       (meetsTemporally ?MULER ?INST ?QUANT1)
       (part ?INST ?QUANT2)
       (part ?INST ?OBJECT)
       (not (equal ?OBJECT ?QUANT1))))

(instance defaultMaximumMeasure BinaryPredicate)
(domain defaultMaximumMeasure 1 Object)
(domain defaultMaximumMeasure 2 Quantity)

(documentation defaultMaximumMeasure EnglishLanguage "A &%BinaryPredicate that states the assumed maximum &%measure of
all &%Object which are all &%Quantity. Note that &%defaultMaximumMeasure is the function
maximum &%refaultMeasure.  For example, the section of this &%defaultMaximumMeasure
specifying that maximum instances of &%Object is default, an instance of this instance
of &%Object at is used to all &%Instances of the water instances of &%Quantity ass a
&%Quantity of a &%Quantity to allowing an instances of &%ConstantQuantity
another an &%Object.  Note that &%defaultMeasure is a &%lessThan are a
&%Quantity is a &%UnitOfMeasure that maps ass a &%Quantity of all
&%Quantity words not of some point of the &%Quantity is also
&%NonnnegativeInstance of the only of which &%Quantity
instances of &%ConstantQuantity to all other
&%ConstantQuantity.  Examples of the &%ConstantQuantity,
instances of &%ConstantQuantity that maps to of a &%ConstantQuantity are
&%ConstantQuantity, &%UnitedStates, while the &%FunctionQuantity to
all &%UnitOfMeasure that have a numediated in associated with the
&%UnitOfMeasure as of the &%MeasureFn to of the &%MeasureFn to
some of which instances of one of the &%MeasureFn.")

(=>
    (and
         (defaultMeasure ?OBJECT (MeasureFn ?NUMBER ?UNIT) ?QUANTITY)
          (instance ?UNIT UnitOfMeasure))
     (measure ?OBJECT (MeasureFn ?NUMBER ?UNIT)))

(=>
    (and
         (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT))
        (instance ?UNIT UnitOfMeasure))
    (measure ?OBJECT (MeasureFn ?NUMBER ?UNIT))
    (measure ?OBJECT (MeasureFn ?NUMBER ?UNIT)))

(=>
    (and
        (defaultMeasure ?OBJECT 
iter_dt 936.22ms; iter 9050: train loss 0.47145
iter_dt 935.14ms; iter 9100: train loss 0.44476
iter_dt 935.77ms; iter 9150: train loss 0.44887
iter_dt 935.70ms; iter 9200: train loss 0.45323
iter_dt 936.89ms; iter 9250: train loss 0.44025
iter_dt 934.29ms; iter 9300: train loss 0.45129
iter_dt 934.74ms; iter 9350: train loss 0.43367
iter_dt 933.87ms; iter 9400: train loss 0.45208
iter_dt 934.70ms; iter 9450: train loss 0.45700
iter_dt 935.70ms; iter 9500: train loss 0.43492
iter_dt 933.98ms; iter 9550: train loss 0.43925
iter_dt 934.64ms; iter 9600: train loss 0.44056
iter_dt 934.32ms; iter 9650: train loss 0.43181
iter_dt 936.60ms; iter 9700: train loss 0.43012
iter_dt 934.22ms; iter 9750: train loss 0.43848
iter_dt 934.47ms; iter 9800: train loss 0.43813
iter_dt 936.53ms; iter 9850: train loss 0.42958
iter_dt 933.27ms; iter 9900: train loss 0.44523
iter_dt 933.24ms; iter 9950: train loss 0.43132
iter_dt 936.45ms; iter 10000: train loss 0.43946
(and
    (not
      (exists (?S)
       (and
        (instance ?S Sting)
        (during ?S ?S))))

(subclass Stail BiologicallyActiveSubstance)
(documentation Stail EnglishLanguage "A &%BiologicallyActiveSubstance that is not predictly 
chemical compounds.")

(subclass Betting BiologicallyActiveSubstance)
(documentation Betting EnglishLanguage "An act of &%BiologicallyActiveSubstance which is not common 
common stable of the between compounds.")

(subclass Betting BiologicallyActiveSubstance)
(documentation Betting EnglishLanguage "Any &%BiologicallyActiveSubstance which is not combinated 
between the explosion of moneyod prescript of a &%BridinaryOrganization.")

(=>
   (and
      (holdsDuring ?TIME 
          (attribute ?X Betting))
    (exists (?BRIDECT ?X ?SUBSTANCE)
       (and
            (subProcess ?X ?X)
            (monetaryValue ?X ?SUBSTANCE)
            (holdsDuring ?TIME (attribute ?X Asleep)))))

(subclass BurintaryBuilding BurintaryArtifact)
(documentation BurintaryBuilding EnglishLanguage "A burintary in which is compund by means of buriness or 
buriness of &%Burininess.")

(=>
   (and
       (instance ?BURINTARY BurintaryBuilding)
       (patient ?BURINTARY ?BURINTARY))
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME2 BurintaryOrganization)
            (agent ?TIME1 ?TIME2)
              (origin ?TIME1 ?BURINTARY)
               (destination ?TIME2 ?BURINTARY1))))

(subclass ComputerSubstance Artifact)
(documentation ComputerSubstance EnglishLanguage "A &%ComputerSubstance which is computer by means 
of a &%ComputerSubstance.")

(=>
   (instance ?SUBSTANCE ComputerSubstance)
   (exists (?BURINTARY1 ?BURINTARY2)
        (and
             (instance ?BURINTARY1 BurintaryBuring)
             (instance ?BURINTARY2 BurintaryOrganization)
               (equal ?BURINTARY1 ?BURINTARY2)
                  (patient ?BURINTARY2 ?BURINTARY2)
                   (instance ?BURINTARY2 BurintaryOrganization)
                    (instance ?BURINTARY2 BurintaryOrganization)
                   
iter_dt 934.18ms; iter 10050: train loss 0.44513
iter_dt 933.31ms; iter 10100: train loss 0.41975
iter_dt 936.10ms; iter 10150: train loss 0.45011
iter_dt 939.11ms; iter 10200: train loss 0.41866
iter_dt 933.77ms; iter 10250: train loss 0.43342
iter_dt 935.51ms; iter 10300: train loss 0.42713
iter_dt 935.81ms; iter 10350: train loss 0.42924
iter_dt 933.93ms; iter 10400: train loss 0.42506
iter_dt 934.64ms; iter 10450: train loss 0.41530
iter_dt 935.76ms; iter 10500: train loss 0.41964
iter_dt 934.92ms; iter 10550: train loss 0.44328
iter_dt 934.53ms; iter 10600: train loss 0.43176
iter_dt 936.15ms; iter 10650: train loss 0.42679
iter_dt 934.04ms; iter 10700: train loss 0.41933
iter_dt 934.12ms; iter 10750: train loss 0.42974
iter_dt 936.16ms; iter 10800: train loss 0.41537