gistfile1.txt

saveModel: False
system:
    seed: 0
    work_dir: ./out/chargpt
data:
    block_size: 512
model:
    model_type: gpt-mini
    activation: LeakyReLU(negative_slope=0.01)
    n_layer: None
    n_head: None
    n_embd: None
    vocab_size: None
    block_size: None
    attn_pdrop: 0
    resid_pdrop: 0
    embd_pdrop: 0
trainer:
    device: auto
    max_iters: 100000.0
    batch_size: 4
    learning_rate: 0.0005
    betas: (0.9, 0.999)
    eps: 1e-08
    weight_decay: 0.1
    grad_norm_clip: None
    grad_accumulation_steps: 1

data has 994545 characters, 153 unique.
number of parameters: 6488832
running on device cuda
iter_dt 51.73ms; iter 50: train loss 3.33986
iter_dt 58.68ms; iter 100: train loss 2.66716
iter_dt 67.16ms; iter 150: train loss 2.50402
iter_dt 52.87ms; iter 200: train loss 2.40335
iter_dt 53.21ms; iter 250: train loss 2.35388
iter_dt 53.23ms; iter 300: train loss 2.33425
iter_dt 53.74ms; iter 350: train loss 2.25154
iter_dt 53.03ms; iter 400: train loss 2.14703
iter_dt 53.89ms; iter 450: train loss 2.08949
iter_dt 54.41ms; iter 500: train loss 2.04852
iter_dt 52.44ms; iter 550: train loss 1.94262
iter_dt 53.30ms; iter 600: train loss 1.86460
iter_dt 54.10ms; iter 650: train loss 1.81076
iter_dt 54.15ms; iter 700: train loss 1.75874
iter_dt 53.48ms; iter 750: train loss 1.75399
iter_dt 53.50ms; iter 800: train loss 1.68429
iter_dt 53.47ms; iter 850: train loss 1.62529
iter_dt 53.40ms; iter 900: train loss 1.65286
iter_dt 53.51ms; iter 950: train loss 1.60327
iter_dt 54.18ms; iter 1000: train loss 1.50075
(================================================================================oe  t==============================================================================;;; ========; ========================i==========>============y=======stta ==========================================================================================================================;; =; ===========v=========================================================== d======================>=======================>====; iv=================shea==i=== ==============================>=========================================================s=============t======================; tyi===================
===========e ===============>==========================i=====>==================================t e =======;;;; =================================;============>=========<===============y======;;vt==============e=; ==========i======d===========b==t===s================================s=====;===========================================================================================; ==================d ==========================================d===<==========================================i g=======================d- ===============sv=============iesel ===========>=v======t===========================v=================================================================yesti===i================= =========================================>======>====================================================>===========t=================>==>===============================================dev========s============================d=====================================================================================================================================st==================; ====t=============================================gy =====>=============================d==========ss=====================================b=d=============v=============i==>==================================s============> i=================================================================vi============
iter_dt 53.13ms; iter 1050: train loss 1.50892
iter_dt 52.22ms; iter 1100: train loss 1.47827
iter_dt 51.95ms; iter 1150: train loss 1.43286
iter_dt 53.00ms; iter 1200: train loss 1.43014
iter_dt 52.19ms; iter 1250: train loss 1.37391
iter_dt 53.00ms; iter 1300: train loss 1.35065
iter_dt 52.68ms; iter 1350: train loss 1.29294
iter_dt 52.84ms; iter 1400: train loss 1.24569
iter_dt 52.27ms; iter 1450: train loss 1.23713
iter_dt 53.02ms; iter 1500: train loss 1.13704
iter_dt 56.46ms; iter 1550: train loss 1.11250
iter_dt 53.82ms; iter 1600: train loss 1.10301
iter_dt 53.62ms; iter 1650: train loss 1.06157
iter_dt 52.34ms; iter 1700: train loss 1.03371
iter_dt 52.47ms; iter 1750: train loss 0.99985
iter_dt 53.50ms; iter 1800: train loss 0.97494
iter_dt 57.00ms; iter 1850: train loss 0.95076
iter_dt 53.17ms; iter 1900: train loss 0.92659
iter_dt 52.56ms; iter 1950: train loss 0.91815
iter_dt 52.28ms; iter 2000: train loss 0.89307
(?TEN ?AGENT)
   (and
     (instance ?AGENT Passion)
     (instrument ?AGENT ?AGENT)
     (patient ?AGENT ?PASS)
     (patient ?AGENT ?TENT ?AGENT)
     (instance ?AGENT Agent)
     (patient ?AGENT ?AGENT))

(subclass Heave TransfersactionalPasageTimeEntapont)
(documentation Heave EnglishLanguage "The &%TemeEntapont that is used of &%HeaveOnTemeEntapont is not 
a dededs etwien be that hear commething of wo the agent of the to pase of bed 
in to the &%Gent.")
(subclass Heawaw AnterStatineArterinalPase AnterialStaterct)
(desubclass Heawaw EnglishLanguage "A &%Heawaw deaws which is a resles to &%Teaw 
the pach &%Heaw.")

(subclass HeawConter Fawaw)
(documentation Heaw EnglishLanguage "Any
&%HeawConteralFawaw heare that states of staters tater of everness in the 
&%HeawMaking.")


(=>
  (instance ?H Heaw)
  (exists (?A ?W)
    (and
      (instance ?A AnterinalArtifact)
      (instance ?A Teaw)
     (instance ?W AnterinalPatientBeawaw)
     (instance ?A WAwering)
     (instance ?A Artifact)
     (instance ?A DeawawAWawAwaWaw)
    (instance ?A Patmer)
    (instance ?A Attifact)
     (instance ?A AnterinalArtifact)
     (conentedInall PatherinalArtifaction ?A ?A)
     (or
        (instance ?A ArtifactionalArtifactionArtifactionArtifactionalArtifactionArtifaction which it seations infatherersedesedessedesive of &%ArtifactionalArtifactionalArtifactionalArtifactionalAcount 
the as hall artifactional of alltortationalles, are
&%ArtifactionalArtifactionalArtifactionalArtifactionalArtifactionalArtifactionalUrtifactionest 
allte of all seations seart wallted the &%OrTratifactionalArtifactionalArtifaction compasifactionall
acertedersedesconalArtifactionalArtifactionalArtifaction 
and
and aconstesed for the of disconated to of they nout trational sifateded edesconsedesteded to the
trat feated brated rat desteded and and alowhed wallt.")

(subclass IdencerstionalArtionalArtifactionalStruclededagedArtionalArtifactionalArtifactionalArtifactionalArtionalArtifactionalArtionalArtifactionalArtifactionalArtifactionalArtifactionalArtifact
iter_dt 53.12ms; iter 2050: train loss 0.90266
iter_dt 53.15ms; iter 2100: train loss 0.85755
iter_dt 57.46ms; iter 2150: train loss 0.86418
iter_dt 52.93ms; iter 2200: train loss 0.82097
iter_dt 53.24ms; iter 2250: train loss 0.82311
iter_dt 52.99ms; iter 2300: train loss 0.77060
iter_dt 52.85ms; iter 2350: train loss 0.80634
iter_dt 52.07ms; iter 2400: train loss 0.79606
iter_dt 53.42ms; iter 2450: train loss 0.81493
iter_dt 53.45ms; iter 2500: train loss 0.80663
iter_dt 53.49ms; iter 2550: train loss 0.78438
iter_dt 52.40ms; iter 2600: train loss 0.74296
iter_dt 52.44ms; iter 2650: train loss 0.76676
iter_dt 53.18ms; iter 2700: train loss 0.74338
iter_dt 53.21ms; iter 2750: train loss 0.78026
iter_dt 53.64ms; iter 2800: train loss 0.72184
iter_dt 52.15ms; iter 2850: train loss 0.73384
iter_dt 55.38ms; iter 2900: train loss 0.78256
iter_dt 53.90ms; iter 2950: train loss 0.76496
iter_dt 51.80ms; iter 3000: train loss 0.73550
(domainSubclass Container 1 Object)

(domainSubclass instendent 2 Object)
(range instendendent instendent)
(documentation instendent EnglishLanguage "(&%instendent ?&%Pictendent ?&%Pictendent ?&%Pictended 
thas instance instance a &%part")
(suces Container Periodence)
(domain Container 2 Pictendent)
(suce Container Particture)
(documentation Container EnglishLanguage "The scheen &%Particture to a 
life partictures of containst in the instrument of &%Container, endedents of 
&%Role &%Partictures.")

(=>
   (instance ?C Container)
   (exists (?P)
      (and
         (instance ?P Particture)
         (instrument ?P ?C)))))))


(subclass PurpositicPartic Container)
(documentation PurpositicParticParticture EnglishLanguage "A &%Container where perform the to instance of body ended from &%Container.")

(=>
  (instance ?P PurpositContainerParticture)
  (exists (?H ?P)
    (and
      (instance ?H Heart)
      (instance ?H Heart)
      (holdsDuring ?TI 
       (particture ?H ?P)
       (patient ?H ?P)))))))

   
(possibolity Destating of a particture of a type of act of &%Destation.")

(subclass Weron IntentiveAnaromalAnatomicalStructure)
(partyCont Weron Destating)
(documentation Weron EnglishLanguage "A &%Weron whose consists of &%Particture, the &%Weron 
the &%Container.")

(=>
  (instance ?C Weron)
  (exists (?C)
    (and
      (instance ?C Container)
      (instrument ?C ?C)
      (instance ?C Containerer))))))


(=>
  (and
    (onet ?W ?W)
    (instance ?C Containerer)
     (patient ?C ?W))))

            
(=>
     (and
       (instance ?W Containererer)
         (agent ?P ?W))))))
    
          
(subclass Containerer SpatialRegreet)
(documentation Container EnglishLanguage "The part of &%Container where the &%Containers of that 
dipared frenuls &%Container.")

(=>
   (instance ?C Container)
    (exists (?W)
        (and
          (instance ?W Way)
            (instance ?W Way))))))))


(subclass Para PathologicProcess)
(documentation Para EnglishLanguage "A &%Container fas a &%Container.")

(documentation Para Engl
iter_dt 55.95ms; iter 3050: train loss 0.70765
iter_dt 53.06ms; iter 3100: train loss 0.74104
iter_dt 52.82ms; iter 3150: train loss 0.70794
iter_dt 51.94ms; iter 3200: train loss 0.67827
iter_dt 51.95ms; iter 3250: train loss 0.72158
iter_dt 52.71ms; iter 3300: train loss 0.67423
iter_dt 53.13ms; iter 3350: train loss 0.71399
iter_dt 53.05ms; iter 3400: train loss 0.70027
iter_dt 51.65ms; iter 3450: train loss 0.67084
iter_dt 52.78ms; iter 3500: train loss 0.65497
iter_dt 54.47ms; iter 3550: train loss 0.70087
iter_dt 53.43ms; iter 3600: train loss 0.69034
iter_dt 53.47ms; iter 3650: train loss 0.69532
iter_dt 52.31ms; iter 3700: train loss 0.66159
iter_dt 57.03ms; iter 3750: train loss 0.64792
iter_dt 53.57ms; iter 3800: train loss 0.67273
iter_dt 52.69ms; iter 3850: train loss 0.66055
iter_dt 52.37ms; iter 3900: train loss 0.66117
iter_dt 52.24ms; iter 3950: train loss 0.63490
iter_dt 52.77ms; iter 4000: train loss 0.68454
(=>
     (instance ?H Human)
   (exists (?H)
     (and
       (instance ?H Human)
       (instrument ?H ?H))))

(subclass Microware Microware)

(documentation Microware EnglishLanguage "A &%Microware part of a &%Human.")

(=>
  (instance ?M Microware)
  (holdsDuring ?T 
    (instance ?M Microware))
  (and
    (instance ?M Microware)
    (partType ?M MicrowareOrganization)))

(subclass Shothy Solid)
(documentation Shothy EnglishLanguage "A &%Shoth'sDury that is consistentive
internts (&%MicrowareOrganization one or &%ElectricalTransphy trime this solatern isolatern forms &%Microwareous to assece 
&%AutonomousAgent.   Found by a prica.")

(=>
  (instance ?X Shothy)
  (exists (?M)
   (and
     (instance ?M MicrowareOrganization)
     (instrument ?M ?M)))

(subclass Conservering MicrowareOrganization)

(documentation Conserving EnglishLanguage "&%Conserving a conserval outsent of &%Microwareous 
particular and creases berving produced.")

(=>
  (instance ?C Conserving)
  (exists (?M)
   (and
     (instance ?M MicrowareOrganization)
     (located ?M ?M))))

(instance HasionFormationalAttribute)
(documentation Hasion EnglishLanguage "A &%Formal is a &%Charaction.")
(termFormat EnglishLanguage Hasion "hasion")
(termFormat EnglishLanguage Hasion "has in recroware")

(=>
  (and
    (instance ?HAS Hasion)
    (attribute ?HAS Larack))
  (exists (?CHARG)
   (and
    (instance ?CHARM Charaction)
    (instance ?CHARG Charaction))))

(subclass AudicanBeven Microwarincal)
(documentation AudicanBeven EnglishLanguage "This
subcress of the combines that is the &%Hanganist withing a &%Audicarial can &%Microware of accouse a 
halagano is &%AudicalAudication.  &%Audicating")

(=>
  (and
    (partTo ?CHALARE Physical)
    (instance ?CHARE MicrowareOrganization)
   (instance ?MICROW AudicationaryAudit))))

(subclass MicrowaringOrganization MicrowaringOrganization)

(subclass Hanganis MicrowaringOrganization)
(documentation Hanganistor EnglishLanguage "An &%Hanganis that is microuns that sort 
thanganisms of which with is the side larges.
iter_dt 52.34ms; iter 4050: train loss 0.64483
iter_dt 53.48ms; iter 4100: train loss 0.65180
iter_dt 53.91ms; iter 4150: train loss 0.64259
iter_dt 53.45ms; iter 4200: train loss 0.63297
iter_dt 58.64ms; iter 4250: train loss 0.62008
iter_dt 55.51ms; iter 4300: train loss 0.60142
iter_dt 52.36ms; iter 4350: train loss 0.62460
iter_dt 51.67ms; iter 4400: train loss 0.61528
iter_dt 52.19ms; iter 4450: train loss 0.59210
iter_dt 52.71ms; iter 4500: train loss 0.64683
iter_dt 52.86ms; iter 4550: train loss 0.58916
iter_dt 52.34ms; iter 4600: train loss 0.62988
iter_dt 52.69ms; iter 4650: train loss 0.62989
iter_dt 52.23ms; iter 4700: train loss 0.60006
iter_dt 52.18ms; iter 4750: train loss 0.61283
iter_dt 53.63ms; iter 4800: train loss 0.61212
iter_dt 53.35ms; iter 4850: train loss 0.57383
iter_dt 52.98ms; iter 4900: train loss 0.59183
iter_dt 52.07ms; iter 4950: train loss 0.62723
iter_dt 53.54ms; iter 5000: train loss 0.58386
(subclass Stolephone Stole)
(documentation Stolephone EnglishLanguage "An &%Stolephone that contains the 
&%Stoles of actions and to action of action.")

(=>
  (instance ?STOLE Stolephone)
  (hasPurpose ?STolephone))

(=>
  (instance ?STOLE
   (instance ?STOLE Stolephone))
  (instance ?STOLE Stole))

(subclass Stole Stole)
(documentation Stole EnglishLanguage "A &%Stole that is a &%Stole")
(termFormat EnglishLanguage Stole "stole")

(=>
   (instance ?STOLE Stole)
   (contains ?STOLE ?STOLE))
  (exists (?STOLE ?STOLE)
     (and
       (instance ?STOLE Stole)
       (instance ?STOLE Stole)
       (agent ?STOLE ?STOLE)
        (deston ?STOLE ?STOLE)
         (patient ?STOLE ?STOLE)
         (instance ?STOLE Store)
         (instance ?STOLE Store)
          (instance ?STOLE Store)))))

(subclass Domesion Fiel)
(documentation Domesion EnglishLanguage "Domesion and &%Fiel in stored of &%Field is one of original 
&%Field from or &%Store.")

(=>
  (and
    (instance ?DOME Domesion)
    (instance ?FIELD Field)
    (instance ?FIELD Field))
  (domain tomes ?FIELD (WhenFn ?FIELD))
    (lessThan ?FIELD (WhenFn ?FIELD))))

(=>
  (instance ?FIELD Field)
  (and
     (instance ?FIELD Field)
     (part ?FIELD Field)))

(subclass Inhesting Field)
(documentation Inhesting EnglishLanguage "&%Inhesting of a &%Field which is 
intended into field field field hydrogen of which a &%Inhesting")
(termFormat EnglishLanguage Inhesting "Inhesting")
(subclass Extince Inhesting)
(documentation Extince EnglishLanguage "&%Extince is a &%Field which some &%Field &%Ext is of the body of a 
&%Device as of also formal or signes.")

(=>
  (instance ?E Extince)
  (holdsDuring (Inhesting (WhenFn ?E) (attribute ?A Device)))

(subclass Anting Inhesting)
(documentation Anting EnglishLanguage "Any &%Inhesting in which signals of &%Device 
when the &%Human in consists of a 
person of its future inher")
(=>
    (instance ?E Anting)
    (holdsDuring 
       (exists (?H)
          (and
             (instance ?H Human)
             (instance ?H Human)))))
      
(
iter_dt 53.25ms; iter 5050: train loss 0.61988
iter_dt 52.99ms; iter 5100: train loss 0.56420
iter_dt 53.35ms; iter 5150: train loss 0.57046
iter_dt 53.20ms; iter 5200: train loss 0.60183
iter_dt 53.05ms; iter 5250: train loss 0.56668
iter_dt 53.45ms; iter 5300: train loss 0.60133
iter_dt 52.60ms; iter 5350: train loss 0.56114
iter_dt 52.90ms; iter 5400: train loss 0.56237
iter_dt 53.86ms; iter 5450: train loss 0.57437
iter_dt 52.51ms; iter 5500: train loss 0.59144
iter_dt 53.54ms; iter 5550: train loss 0.59142
iter_dt 54.38ms; iter 5600: train loss 0.56663
iter_dt 53.39ms; iter 5650: train loss 0.57877
iter_dt 52.39ms; iter 5700: train loss 0.58295
iter_dt 53.73ms; iter 5750: train loss 0.56432
iter_dt 54.56ms; iter 5800: train loss 0.55401
iter_dt 53.74ms; iter 5850: train loss 0.54309
iter_dt 54.07ms; iter 5900: train loss 0.57189
iter_dt 54.37ms; iter 5950: train loss 0.58958
iter_dt 53.30ms; iter 6000: train loss 0.56907
(subclass Landing BodySubstance)
(documentation Landing EnglishLanguage "A &%BodySubstance that consists an &%BodySubstance for the 
same lands, e.g. hows, a landing pointing may landing, like etc.")

(subclass Knisten BodySubstance)
(documentation Knisten EnglishLanguage "A &%BodySubstance that is &%BodySubstance.")

(=>
  (instance ?KNIST Knisten)
  (exists (?PART)
    (and
      (instance ?PART BodySubstance)
      (part ?KNIST ?PART))))

(=>
   (instance ?KNIST Knisten)
   (exists (?PART)
     (and
        (instance ?PART BodySubstance)
        (or
           (instance ?PART BodySubstance)
         (instance ?PART BodySubstance)
         (part ?KNIST ?PART)))))

(subclass Bill Brain)
(documentation Bill EnglishLanguage "Any &%Brain which the &%Brain, is used 
by substance ase units which contains, i.e. belongs the family the than'sum.  Development 
the grous is largest the are ackaling to the body as the part.")

(=>
  (instance ?B Bill)
  (exists (?B)
    (and
      (instance ?B Bill)
      (part ?B ?B)
      (part ?B ?B)))))

(subclass Bathbitant Bill)
(documentation Bathbitant EnglishLanguage "The brain of a but is include to 
group 1 of the periodic level allower can a curroupital element, bath a participatulates allower a
can bathtes.  It has most likely the most stabilization has of the should to bath the outsing is may reis the formele 
of likelihooical can be such as in the meerchan emercing and body in the allower that a 
greulate in the aseme whether the can per person the curred at in the 
currhange into a sic activity with a meichan lemer reach that the entire 
meist stable in pubota and heither other the reach cert.")
(termFormat EnglishLanguage Meist "meist")
(termFormat EnglishLanguage Meist "meist")
(termFormat EnglishLanguage Meist "meist")

(termFormat EnglishLanguage Meist "meist person")

(termFormat EnglishLanguage Meist "meist")
(termFormat EnglishLanguage Meist "meist")

(termFormat EnglishLanguage Meist "meist")
(termFormat EnglishLanguage Meist "meist attack")

(termFormat EnglishLangu
iter_dt 53.70ms; iter 6050: train loss 0.55138
iter_dt 53.21ms; iter 6100: train loss 0.55878
iter_dt 53.29ms; iter 6150: train loss 0.55158
iter_dt 52.42ms; iter 6200: train loss 0.58308
iter_dt 52.93ms; iter 6250: train loss 0.57123
iter_dt 52.47ms; iter 6300: train loss 0.60925
iter_dt 52.95ms; iter 6350: train loss 0.55224
iter_dt 52.78ms; iter 6400: train loss 0.54503
iter_dt 53.04ms; iter 6450: train loss 0.54427
iter_dt 52.99ms; iter 6500: train loss 0.55957
iter_dt 53.59ms; iter 6550: train loss 0.54654
iter_dt 52.18ms; iter 6600: train loss 0.51882
iter_dt 53.47ms; iter 6650: train loss 0.54043
iter_dt 56.22ms; iter 6700: train loss 0.56439
iter_dt 53.77ms; iter 6750: train loss 0.56151
iter_dt 53.64ms; iter 6800: train loss 0.53506
iter_dt 52.51ms; iter 6850: train loss 0.52604
iter_dt 55.12ms; iter 6900: train loss 0.53639
iter_dt 59.52ms; iter 6950: train loss 0.52502
iter_dt 52.28ms; iter 7000: train loss 0.52821
(instance ?PROC Chriminal)
     (instance ?PROC Chriminal)))

(=>
  (and
    (instance ?X Chrimbinal)
    (refers ?X ?PROC)
    (holdsDuring ?TIME (attribute ?PROC ?PROC)))
  (holdsDuring ?TIME (located ?PROC ?PROC)))

(documentation Chrimbendendent EnglishLanguage "A &%BinaryPredicate that are 
not the &%Chrimb.")

(=>
  (and
    (instance ?CHR Chrimbinal)
    (patient ?CHR ?PERIC))
  (exists (?CHR ?TRIN)
    (and
      (instance ?CHR Chrimbinal)
      (containsInformation ?CHR ?TRIN))))
         
(=>
   (instance ?CHR Chrimbinal)
   (exists (?CHRIMB)
     (and
       (instance ?CHR Chrimb)
       (patient ?CHR ?PERIC))))

(subclass DrinkingLinght Linghter)

(subclass Neeveling Device)
(subclass DrinkingLinght Sole)
(documentation DrinkingLinght EnglishLanguage "Any &%Sole that includes and contains that 
are &%Excreting.")

(subclass Excreting Linghtering)
(documentation Excreting EnglishLanguage "&%Excreting in a &%Sole that dependents and 
up and movement.")

(subclass Axprting Mintaking)
(documentation Excreting EnglishLanguage "Any &%Mintaking that includes and &%Organing")

(=>
  (and
    (instance ?A Axprting)
    (patient ?A ?A))
  (exists (?A)
    (and
      (instance ?A Asventing)
      (instrument ?A ?A))))

(subclass Shelivon AlcohololicBevent)
(documentation Shelivon EnglishLanguage "Any instance of &%MincrophisgiousGetting where the &%Government.")

(=>
  (instance ?B Shelivon)
  (exists (?GOV)
    (and
      (instance ?GOV Government)
      (subProcess ?GOV ?GOV)))

(=>
  (instance ?S Shelivon)
  (exists (?GOV)
    (and
      (instance ?GOV Government)
      (instrument ?GOV ?GOV)))

(subclass Surveil AlcoholicBevering)
(documentation Surveil EnglishLanguage "A &%Bevering that is found on a sor 
the part of &%Autonomobile.")

(=>
  (instance ?FL Surveil)
  (exists (?HEIR)
    (and
      (instance ?HEIR Heir)
      (instance ?HEIR Heir)))

(subclass Nappprosel AnimalAnatomicalStructure)
(subclass Nappprosel AnimalAnatomicalStructure)

(documentation Nappprosel EnglishLanguage "A &%Animal that is an 
iter_dt 53.08ms; iter 7050: train loss 0.56087
iter_dt 54.15ms; iter 7100: train loss 0.51403
iter_dt 53.29ms; iter 7150: train loss 0.50455
iter_dt 53.17ms; iter 7200: train loss 0.51979
iter_dt 52.78ms; iter 7250: train loss 0.51611
iter_dt 54.46ms; iter 7300: train loss 0.52038
iter_dt 52.10ms; iter 7350: train loss 0.54282
iter_dt 53.14ms; iter 7400: train loss 0.52714
iter_dt 52.81ms; iter 7450: train loss 0.52480
iter_dt 51.61ms; iter 7500: train loss 0.50413
iter_dt 52.80ms; iter 7550: train loss 0.50838
iter_dt 52.63ms; iter 7600: train loss 0.50540
iter_dt 53.22ms; iter 7650: train loss 0.53136
iter_dt 52.89ms; iter 7700: train loss 0.49156
iter_dt 52.25ms; iter 7750: train loss 0.49960
iter_dt 52.26ms; iter 7800: train loss 0.50308
iter_dt 54.63ms; iter 7850: train loss 0.52679
iter_dt 53.14ms; iter 7900: train loss 0.48965
iter_dt 52.92ms; iter 7950: train loss 0.52683
iter_dt 52.74ms; iter 8000: train loss 0.51405
(?I)
     (patient ?A ?H)))
                                        
(instance Matter UnaryFunction)
(documentation Matter EnglishLanguage "An &%UnitOfVen that is prepared by a &%Matter of a &%Matter.")

(=>
   (and
      (patientMeasure ?SHIN ?Q)
      (greaterThan ?Q ?Q))
  (modalAttribute
     (exists (?MC)
       (and
         (instance ?MC Matter)
         (patient ?MC ?O)))))

(subclass Clinbing Decreasing)
(documentation Clinbing EnglishLanguage "Any &%Decreasing where a &%Decreasing a &%LinguisticCommunication, which is &%Certificate.")

(=> 
  (instance ?C Clinbing)
  (exists (?G)
    (and
      (instance ?G Linbing)
      (causes ?G ?O ?Q))))

(subclass Guiding LinguisticCommunication)
(documentation Guiding EnglishLanguage "An &%LinguisticCommunication which is a state of &%Processes 
which it converts its religing for move the activity of the &%LinguisticArea.")

(subclass String Torso)
(documentation String EnglishLanguage "An actual &%Translocation where the string &%Communication 
to prevent its ential provide it a militum that the &%LinguisticProcess are 
which alvaries are converts concatenatly.  Generally the first is fournd living 
&%General and by unication.")

(=>
   (instance ?STRING String)
   (exists (?MOVIDULER)
      (and
         (instance ?MOVIDULER MovingString)
         (result ?MOVIDULER ?STRING)
         (part ?MOVIDULER ?STRING))))))

(=>
  (instance ?STRING String)
  (hasPurpose ?STRING ?STRING))

(=>
  (instance ?STRING String)
  (exists (?MOVIDULER ?STRING)
    (and
      (instance ?MOVIDULER MovingString)
      (result ?MOVIDULER ?STRING)
      (instrument ?MOVIDULER ?STRING)))))
        
                              
(subclass Refrers Text)
(documentation Refrers EnglishLanguage "A &%Text that produces that the permits is a 
refler textremitimes whose shape are concated in the back be used as a caused and moving 
constantly or design, and mattings a body nows to enfletries enflective in an 
ancer weapons.") 

(=>
  (and
    (instance ?REP ReflewProcess)
    (experiencer ?REP 
iter_dt 54.86ms; iter 8050: train loss 0.49100
iter_dt 53.01ms; iter 8100: train loss 0.47944
iter_dt 53.50ms; iter 8150: train loss 0.48671
iter_dt 53.54ms; iter 8200: train loss 0.51461
iter_dt 52.40ms; iter 8250: train loss 0.50078
iter_dt 53.45ms; iter 8300: train loss 0.51873
iter_dt 54.02ms; iter 8350: train loss 0.52077
iter_dt 52.45ms; iter 8400: train loss 0.48351
iter_dt 52.63ms; iter 8450: train loss 0.51646
iter_dt 53.02ms; iter 8500: train loss 0.47537
iter_dt 52.73ms; iter 8550: train loss 0.46800
iter_dt 52.61ms; iter 8600: train loss 0.49922
iter_dt 52.97ms; iter 8650: train loss 0.47362
iter_dt 53.67ms; iter 8700: train loss 0.46750
iter_dt 52.65ms; iter 8750: train loss 0.51790
iter_dt 51.97ms; iter 8800: train loss 0.49986
iter_dt 52.07ms; iter 8850: train loss 0.50220
iter_dt 53.19ms; iter 8900: train loss 0.46394
iter_dt 53.72ms; iter 8950: train loss 0.45662
iter_dt 56.94ms; iter 9000: train loss 0.47282
(controlled ?CCLOUPLACE ?CLOUPLACE)
  (exists (?ACTOM)
    (and
      (instance ?ACTOM ClouricActom)
      (patient ?ACTOM ?ACTOM)
      (instance ?ACTOM Actom))))

(subclass Poting GroupOfPeople)
(documentation Poting EnglishLanguage "A &%GroupOfPeople who is &%GroupOfPeople that is more 
that the &%GroupOfPeople that has a &%GroupOfPeople thas an &%Animal, that is used for the &%GroupOfPeople opplea)
(documentation Poting EnglishLanguage "Any &%GroupOfProcess who exurcition 
the actions skill action, e.g. a canval and activous, etc.")
(domain Poting 1 GroupOfPeople)
(domain Poting 2 SkilledOfPowereogn)
(subrelation Poting SkilledOfPowereopleon)
(domain Poting 1 GroupOfPeople)
(range Poting GroupOfPeople)
(termFormat EnglishLanguage Poting "poting")

(domain Poting Poting 1 GroupOfPoule)
(range Poting Poting AnimalAnatomicalStructure 2 SkilledOccup)
(documentation Poting EnglishLanguage "Any &%SkilledOccupation and calculated in the 
&%SkilledOccupation.")

(=>
  (and
    (instance ?P Poting)
    (patient ?P ?O))
  (exists (?S)
    (and
      (instance ?S SkilledOccupation)
      (patient ?S ?O)
      (instance ?O SkilledOccupation))))

(subclass Winrehochorot PolegeStudentPosition)
(documentation Winrehochorot EnglishLanguage "Any &%Process used in
which the costing the &%SodiumChlen or &%SkilledOccupations of the process of an of or bambound 
or the &%SkilledOccupations that are deather to the animal winRegion or the 
bodyAreattion of or eactions of a surfactant contains of marking the body.")

(=>
  (and
    (instance ?W Winrehochom)
    (contains ?W ?B))
  (and
    (instance ?W Winrehochor)
    (contains ?W ?P))

(=>
   (instance ?W Winrehochom)
   (exists (?B)
      (and
         (instance ?B Winrehochom)
         (attribute ?B ?W)))))

(subclass PlantAnimal BodyPart)
(documentation PlantAnimal EnglishLanguage "A sermedium sperriod &%BodyPart which involents a &%BodyPart.")
(termFormat EnglishLanguage PlantAnimal "plant animal")

(=>
  (instance ?P PlantAnimal)
  (exists (?B)
    (and
      (instance ?B Body
iter_dt 53.47ms; iter 9050: train loss 0.46439
iter_dt 51.93ms; iter 9100: train loss 0.48250
iter_dt 51.95ms; iter 9150: train loss 0.49398
iter_dt 56.39ms; iter 9200: train loss 0.46827
iter_dt 53.50ms; iter 9250: train loss 0.46440
iter_dt 54.11ms; iter 9300: train loss 0.47083
iter_dt 59.36ms; iter 9350: train loss 0.45135
iter_dt 57.38ms; iter 9400: train loss 0.48763
iter_dt 58.60ms; iter 9450: train loss 0.46076
iter_dt 52.33ms; iter 9500: train loss 0.46461
iter_dt 53.78ms; iter 9550: train loss 0.46729
iter_dt 52.38ms; iter 9600: train loss 0.46090
iter_dt 53.12ms; iter 9650: train loss 0.45426
iter_dt 53.23ms; iter 9700: train loss 0.45115
iter_dt 52.98ms; iter 9750: train loss 0.50954
iter_dt 52.65ms; iter 9800: train loss 0.46729
iter_dt 52.88ms; iter 9850: train loss 0.43623
iter_dt 53.32ms; iter 9900: train loss 0.47901
iter_dt 52.11ms; iter 9950: train loss 0.46353
iter_dt 53.47ms; iter 10000: train loss 0.45061
(not (exists (?P)
     (and
       (instance ?P Breaking)
       (result ?P ?A)))))

(subclass MortageMouse Breaking)
(documentation MortageMouse EnglishLanguage "The first may of the &%Breaking that 
the &%Breaking that is done one between the way of the &%Bring.")

(=>
   (instance ?MOUSE Mortagement)
   (exists (?BRING)
      (and
        (instance ?BRING Bring)
        (origin ?BRING ?BRING))))

(subclass Plastic Breaking)
(documentation Plastic EnglishLanguage "A &%Breaking which is previously in a &%Bring 
or &%Broaking from a &%Breaking or &%Breaking.")

(=>
  (instance ?P Plastic)
  (exists (?B ?B)
    (and
      (instance ?B Breaking)
      (origin ?P ?B)
       (age ?B (WhenFn ?P))))))

(subclass Splia Breaking)
(documentation Splia EnglishLanguage "A &%Breaking is a type of &%Breaking part of a &%Breaking or 
&%Breaking.")

(=>
   (instance ?SPLIA Splia)
   (exists (?BREAKING)
      (and
          (instance ?BREAKING Breaking)
           (patient ?BREAKING ?BREAKING)))))

(subclass Berformance Breaking)
(documentation Berformance EnglishLanguage "A &%Breaking of or wholes purpose is to rest in 
some parting of the breaking.  This can be with fling or the particular for through 
those age of &%Characters with in order to sime &%Breaking.")

(=>
   (and
      (instance ?BROOD Breaking)
       (destination ?BROOD ?CHAR))
        (patient ?BROOD ?CHARER1)
          (destination ?BROOD ?CHARER1))
           (instance ?CHARER Character)
               (instrument ?CHARER ?BROOD)))))
    (exists (?BROOD ?BROOD)
        (and
           (instance ?BROOD Brood)
             (eventLocated ?BROOD ?BROOD)
               (age ?BROOD ?CHARER))
              (instrument ?BROOD ?BROOD))
              (patient ?BROOD ?BROOD)
                (eventLocated ?BROOD ?A)))))))))

(subclass PlandAnatomicalStructure RelationalAttribute)
(documentation PlandAnatomicalStructure EnglishLanguage "Any &%RelationalAttribute describes how relations is a type of 
designed on oxygen or with &%Sell, and designed for plands.")

(=>
  (inst
iter_dt 53.26ms; iter 10050: train loss 0.46097
iter_dt 52.90ms; iter 10100: train loss 0.44976
iter_dt 52.45ms; iter 10150: train loss 0.46303
iter_dt 52.08ms; iter 10200: train loss 0.45842
iter_dt 52.28ms; iter 10250: train loss 0.44950
iter_dt 52.30ms; iter 10300: train loss 0.45267
iter_dt 53.48ms; iter 10350: train loss 0.44853
iter_dt 53.27ms; iter 10400: train loss 0.44544
iter_dt 53.12ms; iter 10450: train loss 0.43336
iter_dt 52.76ms; iter 10500: train loss 0.45666
iter_dt 52.98ms; iter 10550: train loss 0.42889
iter_dt 52.03ms; iter 10600: train loss 0.44947
iter_dt 52.70ms; iter 10650: train loss 0.43696
iter_dt 57.90ms; iter 10700: train loss 0.44684
iter_dt 52.62ms; iter 10750: train loss 0.41509
iter_dt 54.22ms; iter 10800: train loss 0.43121
iter_dt 53.14ms; iter 10850: train loss 0.42217
iter_dt 52.64ms; iter 10900: train loss 0.42752
iter_dt 52.77ms; iter 10950: train loss 0.44629
iter_dt 51.83ms; iter 11000: train loss 0.43324
(instance ?D Certificate)
                                                                                                                                 
                          (attribute ?A ?D)
                                                                                                                
                                                                               
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                
                                                                                                                                                         (gread, ing ?A ?OBJ)
                         (attribute ?A ?OBJ)
	                          (orientation ?OBJ Impace))
                                                                                                                                                 (eatterier ?AGENT ?PARN)
                                          (onfinining ?AGENT ?PAPER))))))))))))

                                   
(subclass AirForBombing Bombing)
(documentation AirForBombing EnglishLanguage "Any &%Bombing which is suees to be classed on 
a &%Human when a process of an injuring the beginner of t
iter_dt 52.62ms; iter 11050: train loss 0.43486
iter_dt 52.93ms; iter 11100: train loss 0.41857
iter_dt 52.78ms; iter 11150: train loss 0.42733
iter_dt 58.19ms; iter 11200: train loss 0.46325
iter_dt 53.77ms; iter 11250: train loss 0.43957
iter_dt 57.29ms; iter 11300: train loss 0.44360
iter_dt 54.94ms; iter 11350: train loss 0.44173
iter_dt 52.60ms; iter 11400: train loss 0.43630
iter_dt 51.95ms; iter 11450: train loss 0.41095
iter_dt 51.83ms; iter 11500: train loss 0.40735
iter_dt 52.75ms; iter 11550: train loss 0.44274
iter_dt 52.18ms; iter 11600: train loss 0.42296
iter_dt 52.57ms; iter 11650: train loss 0.44635
iter_dt 53.28ms; iter 11700: train loss 0.41960
iter_dt 52.79ms; iter 11750: train loss 0.41787
iter_dt 52.93ms; iter 11800: train loss 0.42667
iter_dt 53.27ms; iter 11850: train loss 0.42230
iter_dt 56.82ms; iter 11900: train loss 0.42632
iter_dt 54.26ms; iter 11950: train loss 0.41946
iter_dt 53.18ms; iter 12000: train loss 0.39465
(MeasureFn 10.9 KelvinDegree))
(boilingPoint Zooton (MeasureFn 2310.0 KelvinDegree))
(meltingPoint Cobdinium (MeasureFn 1207.0 KelvinDegree))
(boilingPoint Cobdinium (MeasureFn 9090.0 KelvinDegree))
(meltingPoint Cobdinium (MeasureFn 1107.0 KelvinDegree))
(boilingPoint Cobdinium (MeasureFn 612.0 KelvinDegree))
(meltingPoint Cobdinium (MeasureFn 500.25 KelvinDegree))
(boilingPoint Cobdinium (MeasureFn 43.0 KelvinDegree))
(meltingPoint Lanthanum (MeasureFn 175.0 KelvinDegree))
(boilingPoint Lanthanum (MeasureFn 185.0 KelvinDegree))
(meltingPoint Lanthanum (MeasureFn 101.0 KelvinDegree))
(boilingPoint Lanthanum (MeasureFn 1455.0 KelvinDegree))
(meltingPoint Cuotanium (MeasureFn 1910.0 KelvinDegree))
(boilingPoint Cuotanium (MeasureFn 3000.0 KelvinDegree))
(meltingPoint Sodium (MeasureFn 175.0 KelvinDegree))
(boilingPoint Sodium (MeasureFn 1000.0 KelvinDegree))
(meltingPoint Coalculab Sodium (MeasureFn 846.0 KelvinDegree))
(boilingPoint Coalculabium (MeasureFn 007.0 KelvinDegree))
(meltingPoint Coalcoal (MeasureFn 4720.0 KelvinDegree))
(boilingPoint Coalcoal (MeasureFn 3858.0 KelvinDegree))
(meltingPoint Calcoal (MeasureFn 911.0 KelvinDegree))
(boilingPoint Calcoal (MeasureFn 11850.0 KelvinDegree))
(meltingPoint Calcoal (MeasureFn 367.0 KelvinDegree))
(boilingPoint Calcoal (MeasureFn 5750.0 KelvinDegree))
(meltingPoint Calcoal (MeasureFn 1019.0 KelvinDegree))
(boilingPoint Calcoal (MeasureFn 407.0 KelvinDegree))
(meltingPoint Todoor (MeasureFn 1085.0 KelvinDegree))
(boilingPoint Todoor (MeasureFn 83.0 KelvinDegree))
(meltingPoint Ydroph (MeasureFn 1006.0 KelvinDegree))
(boilingPoint Ydroph (MeasureFn 3320.0 KelvinDegree))
(meltingPoint Calcium (MeasureFn 2125.0 KelvinDegree))
(boilingPoint Calcium (MeasureFn 3100.0 KelvinDegree))
(meltingPoint Calcium (MeasureFn 341.0 KelvinDegree))
(boilingPoint Calcium (MeasureFn 515.0 KelvinDegree))
(meltingPoint Calcium (MeasureFn 1186.0 KelvinDegree))
(boilingPoint Calcium (MeasureFn 2520.0 KelvinDegree))
(meltingPoint Calcium (MeasureFn 222.0 KelvinDegree))
(boilingPoint Calcium
iter_dt 53.42ms; iter 12050: train loss 0.42987
iter_dt 52.47ms; iter 12100: train loss 0.38035
iter_dt 55.17ms; iter 12150: train loss 0.40044
iter_dt 53.37ms; iter 12200: train loss 0.40060
iter_dt 53.21ms; iter 12250: train loss 0.41515
iter_dt 52.96ms; iter 12300: train loss 0.39386
iter_dt 53.08ms; iter 12350: train loss 0.40429
iter_dt 53.32ms; iter 12400: train loss 0.40178
iter_dt 53.61ms; iter 12450: train loss 0.40814
iter_dt 51.69ms; iter 12500: train loss 0.40839
iter_dt 52.71ms; iter 12550: train loss 0.39997
iter_dt 52.52ms; iter 12600: train loss 0.41765
iter_dt 53.50ms; iter 12650: train loss 0.39985
iter_dt 53.32ms; iter 12700: train loss 0.39254
iter_dt 52.70ms; iter 12750: train loss 0.39355
iter_dt 53.20ms; iter 12800: train loss 0.42430
iter_dt 52.53ms; iter 12850: train loss 0.41785
iter_dt 54.96ms; iter 12900: train loss 0.41204
iter_dt 53.04ms; iter 12950: train loss 0.41490
iter_dt 53.12ms; iter 13000: train loss 0.38666
(and
             (instance ?R Removing)
            (patient ?R ?P)))))))

(subclass PlantAnatomical AnatomicalStructure)
(documentation PlantAnatomical EnglishLanguage "An &%AnatomicalStructure which is position on 
someone or detect on to a &%GovernmentOrganization, 
i.e. the &%part of &%Plants and the result of class of &%Plants at a 
&%GovernmentOrganization.")

(=>
   (instance ?ORG PlantAnatomicalStructure)
   (exists (?GOVE)
      (and
         (instance ?GOVE GovernmentOrganization)
         (part ?GOVE ?ORG)))))

(subclass Publisher Magnus)
(documentation Publisher EnglishLanguage "Any &%Magnus which is capable of instruction of monumes within a &%Government.")

(=>
  (instance ?P Publisher)
  (exists (?T)
    (and
      (instance ?T Government)
      (patient ?T ?P))))

(subclass Turbis BodySegmentBeathingObject)
(documentation Turbis EnglishLanguage "A commissioned of turning the &%Fact indicates that 
the &%DemetsSubstance ?OBJ waters an entirer &%Object ?OBJ in water 
other &%AutonomousAgent.")

(=>
   (and
      (instance ?TURN Turbitrication)
      (experiencer ?TURN ?AGENT))
   (exists (?ETICATE)
      (and
         (instance ?ETICATE DetercticTof)
         (earlier (WhenFn ?TURN) (WhenFn ?TURN)))))

(subclass Antacids Container)
(documentation Antacids EnglishLanguage "A &%Container who has contains a &%Container, e.g. a &%Container, other &%AutonomousAgent, a &%Container, or &%AutonomousAgent.")

(documentation Arm EnglishLanguage "A &%Container whose malability teacheri doing &%Containers whose resultion or 
teach &%AutonomousAgents can be contains ared its readight of withing a &%StationaryArtifact.") 

(=>
   (and
      (instance ?A Arm)
      (instance ?STATE StationaryArtifact))
    (exists (?BEDFOO)
      (and
        (instance ?BEDFOO ?C)
        (instance ?BEDFOO ?A)))))

(subclass BloodClothing Teathing)
(documentation BloodCell EnglishLanguage "An &%Teathing that is produced by &%Arm a reacting 
used to a &%Human which it cannot be someone.")

(=>
  (and
    (instance ?C BloodCell)
   
iter_dt 53.96ms; iter 13050: train loss 0.37031
iter_dt 52.00ms; iter 13100: train loss 0.39764
iter_dt 53.06ms; iter 13150: train loss 0.37670
iter_dt 58.55ms; iter 13200: train loss 0.38960
iter_dt 53.07ms; iter 13250: train loss 0.39535
iter_dt 52.80ms; iter 13300: train loss 0.38988
iter_dt 53.59ms; iter 13350: train loss 0.37332
iter_dt 52.02ms; iter 13400: train loss 0.37593
iter_dt 51.69ms; iter 13450: train loss 0.40130
iter_dt 53.67ms; iter 13500: train loss 0.39460
iter_dt 52.55ms; iter 13550: train loss 0.39402
iter_dt 52.25ms; iter 13600: train loss 0.39319
iter_dt 52.03ms; iter 13650: train loss 0.37422
iter_dt 52.47ms; iter 13700: train loss 0.38119
iter_dt 53.27ms; iter 13750: train loss 0.39065
iter_dt 52.17ms; iter 13800: train loss 0.37725
iter_dt 53.72ms; iter 13850: train loss 0.38144
iter_dt 52.38ms; iter 13900: train loss 0.41115
iter_dt 52.85ms; iter 13950: train loss 0.39100
iter_dt 53.73ms; iter 14000: train loss 0.38732
(exists (?D ?O)
     (and
       (instance ?D DiagnosticProcess)
       (instrument ?D ?O))))

(instance PalmanCuttion RelationalAttribute)
(documentation PalmanCution EnglishLanguage "A &%RelationalAttribute that explresses the &%Palman 
of an &%AutonomousAgent of the one of the &%PalmanRegion that one region to becouse 
to ancested to the simplerse and the simple heads contract.")

(=>
  (holdsDuring ?T
    (attribute ?H PalmanCution))
  (not
    (exists (?A)
      (and
        (instance ?A AutonomousAgent)
        (overlapsTemporally ?A ?A)))))
    
(subclass CuttingDevice Recite)
(documentation CuttingDevice EnglishLanguage "A &%Recite that is a cut of &%Recite.")

(=>
  (instance ?D CuttingDevice)
  (capability Keepind ?D))

(=>
  (instance ?D CuttingDevice)
  (capability DeviceComponent ?D))

(subclass Aspart ElectricDevice)
(documentation Aspart EnglishLanguage "A &%ElectricDevice that is capable of a &%Cuting
unistance, such aspart of &%Devices that can be keeping or least simply enforcee.")

(=>
  (instance ?D Aspart)
  (hasPurpose ?D (exists (?A)
     (and
       (instance ?A Article)
       (instrument ?A ?D))))

(=>
  (instance ?D Device)
  (exists (?A)
    (and
      (instance ?A Article)
      (part ?A ?D))))

(subclass Artile Well)
(documentation Artile EnglishLanguage "A &%Well to &%Well to is &%Artifacts to remove an 
&%Artifact which is intended to mimure.")

(subclass Boathdroge Well)
(documentation Boathdroge EnglishLanguage "A &%Well that is a committing are reported by an 
artifact, or used for it a carrious.")

(=>
  (instance ?B Boathdroge)
  (exists (?D)
    (and
      (instance ?D Boathdroge)
      (instrument ?B ?D))))
            
(subclass Well Declaring)
(documentation Well EnglishLanguage "A &%Declaring which admits allimsted to have 
a &%Well to which is intended to court out orive power whet work.")

(subclass FictionalText Text)
(documentation FictionalText EnglishLanguage "A &%Text in a large that is 
a large retult of the &%BloodText.")

(=>
  (instance ?T FictionalText)
  (exis
iter_dt 53.79ms; iter 14050: train loss 0.37376
iter_dt 52.38ms; iter 14100: train loss 0.35497
iter_dt 52.41ms; iter 14150: train loss 0.38362
iter_dt 52.84ms; iter 14200: train loss 0.36174
iter_dt 53.79ms; iter 14250: train loss 0.36840
iter_dt 53.21ms; iter 14300: train loss 0.36819
iter_dt 52.65ms; iter 14350: train loss 0.38493
iter_dt 55.18ms; iter 14400: train loss 0.35173
iter_dt 52.74ms; iter 14450: train loss 0.34496
iter_dt 52.89ms; iter 14500: train loss 0.38913
iter_dt 52.32ms; iter 14550: train loss 0.35834
iter_dt 54.66ms; iter 14600: train loss 0.35263
iter_dt 52.10ms; iter 14650: train loss 0.35816
iter_dt 51.61ms; iter 14700: train loss 0.38478
iter_dt 53.14ms; iter 14750: train loss 0.37964
iter_dt 52.47ms; iter 14800: train loss 0.37832
iter_dt 52.79ms; iter 14850: train loss 0.37297
iter_dt 52.33ms; iter 14900: train loss 0.34910
iter_dt 53.19ms; iter 14950: train loss 0.36174
iter_dt 53.86ms; iter 15000: train loss 0.37623
(to ?LEGELELERATE ?WHOLET)))
  (exists (?LEGELERATE ?LEGELERATE)
     (and
        (instance ?LEGELERATE Legal)
        (instance ?LEGELERATE LinguisterAtteration)
        (patient ?LEGELERATE ?WHOLE)
       (instrument ?LEGELERATE ?LEGELERATE))))

(=>
  (instance ?LEGELERATE Legeleratory)
  (exists (?WHOLE)
    (and
      (instance ?WHOLE LegeratoryToraductive)
      (part ?KOLE ?WHOLE))))

(instance homePhoneNumber BinaryFrunction)
(instance homePhoneNumber AsymmetricRelation)
(domain holdsDuring 1 TouchersDuration)
(domain homePhoneNumber 2 LegeratoryToraget)
(documentation homePhoneNumber EnglishLanguage "(&%holdsDuring ?T1 (&%holdsDuring ?T2 (&%subFn Frued))) means that ?T1 ?T1 is a &%Function, e.g. the 
&%MeasurementAttribute, as well, and a widely material.  
Identified by Also the activity, the lower being &%Animals.  Also been an 
&%Animal which is used for &%MeasuryVehicle, &%August as they do become &%Animals
which typically the streak in a &%Repairing, &%Human &%Building or &%Repairing.")

(=>
  (instance ?X Repaing)
  (exists (?REPAIR)
    (and
      (instance ?REPAIR Repairing)
      (subclass ?REPAIR Repairing))))

(subclass Vein Vein)
(documentation Vein EnglishLanguage "A &%Vein that is designed to &%RepairingProving, 
e.g. a veing &%Limum.")
(=>
  (instance ?VEIN Vein)
  (exists (?PROVIE)
    (and
      (instance ?PROVIE RepairingForMeatil)
      (subclass ?PROVIE Proving))))

(subclass Veing LimumGroup)
(documentation Veing EnglishLanguage "A &%LimumGroup which is a transluctive &%Limum}.")

(=>
  (instance ?VEING Veing)
  (exists (?LIMB)
    (and
      (instance ?LIMB LimuMB)
      (part ?VEING ?VEING))))

(=>
  (instance ?VEING Veing)
  (exists (?LIMUMB)
    (and
      (instance ?LIMB LimumGroup)
      (instance ?LIMB LimumBeat)
      (part ?VEING ?VEING)
      (part ?LIMUMB ?VEING))))

(subclass Mough Mouth)
(documentation Mouth EnglishLanguage "A &%Mouth that is used for a coughing 
mouth it an expressing pass sound.")

(=>
   (instance ?MOUTH Mouth)
   (exists (?MOUTH)
      (and
        (i
iter_dt 52.48ms; iter 15050: train loss 0.34885
iter_dt 53.75ms; iter 15100: train loss 0.35458
iter_dt 52.25ms; iter 15150: train loss 0.35775
iter_dt 53.38ms; iter 15200: train loss 0.35625
iter_dt 51.91ms; iter 15250: train loss 0.34715
iter_dt 52.93ms; iter 15300: train loss 0.36159
iter_dt 53.92ms; iter 15350: train loss 0.35763
iter_dt 52.18ms; iter 15400: train loss 0.35837
iter_dt 51.61ms; iter 15450: train loss 0.35118
iter_dt 52.13ms; iter 15500: train loss 0.34350
iter_dt 51.89ms; iter 15550: train loss 0.37675
iter_dt 57.60ms; iter 15600: train loss 0.34620
iter_dt 53.33ms; iter 15650: train loss 0.34836
iter_dt 61.77ms; iter 15700: train loss 0.36017
iter_dt 52.64ms; iter 15750: train loss 0.34480
iter_dt 52.91ms; iter 15800: train loss 0.34283
iter_dt 52.34ms; iter 15850: train loss 0.34676
iter_dt 54.13ms; iter 15900: train loss 0.34415
iter_dt 53.36ms; iter 15950: train loss 0.35622
iter_dt 52.69ms; iter 16000: train loss 0.33838
(and
    (component ?EL1 ?PROP)
    (agent ?EL1 ?PROP)
    (suffers ?PROP ?ORG))
  (not
    (equal ?PROP (MereologicalSumFn ?PROP ?ORG)))
  (lessThanOrEqualTo ?EL1 ?PROP))

(instance describes BinaryPredicate)
(instance describes OrganicAttribute)
(documentation describes EnglishLanguage "(describes
?OBJ ?MAMMAL) means that the authorization ?OBJ ?MAMMAL) means the agency ?OBJ an
at may and responsible to head of people to of anthe object or
of other other Container.")

(=>
  (describes ?OBJ ?MAMMAL)
  (exists (?COMMAL)
    (and
      (instance ?COMMAL CommanalColo)
      (agent ?COMMAL ?OBJ)
      (result ?COMMAL ?ORG))))

(subclass Container Artifact)
(documentation Container EnglishLanguage "A sealance is a &%Container &%AutonomousAgent to a &%Government")

(=>
  (and        (instance ?COMMAL Container)
      (agent ?COMMAL ?AGENT))
  (instance ?AGENT Container))

(=>
  (instance ?COMMAL Container)
  (modalAttribute 
    (exists (?GOV)
       (and
         (instance ?GOV Government)
         (instance ?GOV Government)))       
      (instrument ?GOV ?GOV))) Unlikely))

(subclass Wax Container)
(documentation Wax EnglishLanguage "&%Wax refers to a &%Proton occur 
where the &%instrument identity to court or &%Proton.
A &%Wax as a was just alway container, with 
&%Protons &%Artifacts and/other purpose or propelled in audible control or it beand the 
lunterated.")

(=>
  (instance ?W Wax)
  (hasPurpose ?W 
    (exists (?R ?P)
      (and
        (instance ?P Puttoning)
        (instrument ?P ?W)
        (patient ?P ?W)
        (instance ?W Proton)
        (agent ?P ?W)
        (instance ?P Washing)))))

(subclass Pump Piece)
(documentation Pump EnglishLanguage "&%Pump is a &%Piece which is caused by from a &%Carbohydrat.")

(=>
  (instance ?P Pump)
  (hasPurpose ?P 
    (exists (?C)
      (and
        (instance ?C Carbohydrate)
        (connected ?C ?P)))))

(subclass Pump ArtifactMidking)
(documentation Pump EnglishLanguage "An &%ArtifactMidxed which is intended to be used by 
a &%GovernmentOrganization.")

(=>
   
iter_dt 52.08ms; iter 16050: train loss 0.33816
iter_dt 52.26ms; iter 16100: train loss 0.33906
iter_dt 53.37ms; iter 16150: train loss 0.35622
iter_dt 52.62ms; iter 16200: train loss 0.32955
iter_dt 52.69ms; iter 16250: train loss 0.34889
iter_dt 53.43ms; iter 16300: train loss 0.34904
iter_dt 53.03ms; iter 16350: train loss 0.34419
iter_dt 52.35ms; iter 16400: train loss 0.34761
iter_dt 53.50ms; iter 16450: train loss 0.33424
iter_dt 53.26ms; iter 16500: train loss 0.32921
iter_dt 52.48ms; iter 16550: train loss 0.33905
iter_dt 53.53ms; iter 16600: train loss 0.33219
iter_dt 52.62ms; iter 16650: train loss 0.33883
iter_dt 53.74ms; iter 16700: train loss 0.32316
iter_dt 56.73ms; iter 16750: train loss 0.31456
iter_dt 52.80ms; iter 16800: train loss 0.32775
iter_dt 53.06ms; iter 16850: train loss 0.32548
iter_dt 53.56ms; iter 16900: train loss 0.34189
iter_dt 53.27ms; iter 16950: train loss 0.32174
iter_dt 54.53ms; iter 17000: train loss 0.32236
(and
       (instance ?A AuttonomousAgent)
       (eventLocated ?A ?A)))))
      
(subclass Toble Clothing)
(documentation Toble EnglishLanguage "A relation between a &%Covering to some &%Vertebrates.")
(termFormat EnglishLanguage Toble "toble")
(termFormat EnglishLanguage Toble "toble")
(termFormat EnglishLanguage Toble "toble")
(termFormat EnglishLanguage Toble "toble")

(=>
  (instance ?X Toble)
  (toble ?X Antible))

(=>
  (instance ?X Toble)
  (exists (?VERTEBRATE)
    (and
      (instance ?VERTEBRATE Vertebrate)
      (part ?X ?VERTEBRATE)
      (not
        (instance ?VERTEBRATE Vertebrate))))
                 
(instance SittingArea istitingEyesting)
(relatedInternalConcept Excrecistion Contract)
(documentation SittingArea EnglishLanguage "The &%Contract cof that serves &%Sdeling.")

(instance Excreting Contract)
(instance Excreting CaseRole)
(documentation Excreting EnglishLanguage "The &%Contract for a &%Mall.")

(=>
  (instance ?EX Excreting)
  (exists (?PROC)
    (and
      (instance ?PROC Contract)
      (instrument ?PROC ?X))))

(subclass Hotling Contract)
(documentation Hotling EnglishLanguage "&%Contract is a type of &%Contract 
that is located in a lipidical and target body meat")
(termFormat EnglishLanguage Hotling hotling")

(=>
  (instance ?X Hotling)
  (hasPurpose ?X
    (exists (?TR)
      (modalAttribute
        (exists (?TR ?C ?C)
         (and
           (instance ?TR Traction)
           (patient ?TR ?X)
           (instrument ?TR ?X)
           (instance ?C Contract)
           (overlapsTemporally        (WhenFn ?TR))))))
                                                                                     
                                      (patient ?TR ?X))))))))))))
                                                     
(instance ?X ?AY))))))))
;;
;; Jennnie 13th August 20222
;; rew, definition dood documentation to to a class of ass a cladde positional does ?ROOM1 very to metel.

(=>
  (instance ?T Transprorteint)
  (instance ?T Transprorteter))

(=>
  (instance ?T Transprorteter)
  
iter_dt 55.34ms; iter 17050: train loss 0.32816
iter_dt 53.11ms; iter 17100: train loss 0.32094
iter_dt 56.06ms; iter 17150: train loss 0.30883
iter_dt 52.95ms; iter 17200: train loss 0.31117
iter_dt 52.50ms; iter 17250: train loss 0.30794
iter_dt 53.84ms; iter 17300: train loss 0.31524
iter_dt 54.86ms; iter 17350: train loss 0.32262
iter_dt 50.39ms; iter 17400: train loss 0.32615
iter_dt 53.25ms; iter 17450: train loss 0.32572
iter_dt 52.74ms; iter 17500: train loss 0.33757
iter_dt 52.39ms; iter 17550: train loss 0.31739
iter_dt 53.10ms; iter 17600: train loss 0.32730
iter_dt 53.55ms; iter 17650: train loss 0.31793
iter_dt 53.78ms; iter 17700: train loss 0.31818
iter_dt 53.56ms; iter 17750: train loss 0.29831
iter_dt 52.88ms; iter 17800: train loss 0.32383
iter_dt 52.94ms; iter 17850: train loss 0.32144
iter_dt 53.35ms; iter 17900: train loss 0.31400
iter_dt 52.19ms; iter 17950: train loss 0.31098
iter_dt 52.95ms; iter 18000: train loss 0.30542

---------------------------------------------------------------------------

KeyboardInterrupt                         Traceback (most recent call last)

<ipython-input-81-a6968c90e503> in <module>
    111 
    112 # run the optimization
--> 113 trainer.run()

12 frames

<ipython-input-80-095aa2c07c50> in forward(self, x)
    179         # causal self-attention; Self-attend: (B, nh, T, hs) x (B, nh, hs, T) -> (B, nh, T, T)
    180         att = self.attention(k, q)
--> 181         att = att.masked_fill(self.bias[:, :, :T, :T] == 0, float('-inf'))
    182         att = F.softmax(att, dim=-1)
    183         att = self.attn_dropout(att)

KeyboardInterrupt: