TPTP Problem Domain: ARI


ARI001=1.p ARI002=1.p ARI003=1.p ARI004=1.p ARI005=1.p ARI006=1.p ARI007=1.p
ARI008=1.p ARI009=1.p ARI010=1.p ARI011=1.p ARI012=1.p ARI013=1.p ARI014=1.p
ARI015=1.p ARI016=1.p ARI017=1.p ARI018=1.p ARI019=1.p ARI020=1.p ARI021=1.p
ARI022=1.p ARI023=1.p ARI024=1.p ARI025=1.p ARI026=1.p ARI027=1.p ARI028=1.p
ARI029=1.p ARI030=1.p ARI031=1.p ARI032=1.p ARI033=1.p ARI034=1.p ARI035=1.p
ARI036=1.p ARI037=1.p ARI038=1.p ARI039=1.p ARI040=1.p ARI041=1.p ARI042=1.p
ARI043=1.p ARI044=1.p ARI045=1.p ARI046=1.p ARI047=1.p ARI048=1.p ARI049=1.p
ARI050=1.p ARI051=1.p ARI052=1.p ARI053=1.p ARI054=1.p ARI055=1.p ARI056=1.p
ARI057=1.p ARI058=1.p ARI059=1.p ARI060=1.p ARI061=1.p ARI062=1.p ARI063=1.p
ARI064=1.p ARI065=1.p ARI066=1.p ARI067=1.p ARI068=1.p ARI069=1.p ARI070=1.p
ARI071=1.p ARI072=1.p ARI073=1.p ARI074=1.p ARI075=1.p ARI076=1.p ARI077=1.p
ARI078=1.p ARI079=1.p ARI080=1.p ARI081=1.p ARI082=1.p ARI083=1.p ARI084=1.p
ARI085=1.p ARI086=1.p ARI087=1.p ARI088=1.p ARI089=1.p ARI090=1.p ARI091=1.p
ARI092=1.p ARI093=1.p ARI094=1.p ARI095=1.p ARI096=1.p ARI097=1.p ARI098=1.p
ARI099=1.p ARI100=1.p ARI101=1.p ARI102=1.p ARI103=1.p ARI104=1.p ARI105=1.p
ARI106=1.p ARI107=1.p ARI108=1.p ARI109=1.p ARI110=1.p ARI111=1.p ARI112=1.p
ARI113=1.p ARI114=1.p ARI115=1.p ARI116=1.p ARI117=1.p ARI118=1.p ARI119=1.p
ARI120=1.p ARI121=1.p ARI122=1.p ARI123=1.p ARI124=1.p ARI125=1.p ARI126=1.p
ARI127=1.p ARI128=1.p ARI129=1.p ARI130=1.p ARI131=1.p ARI132=1.p ARI133=1.p
ARI134=1.rm ARI135=1.rm ARI136=1.rm ARI137=1.rm ARI138=1.rm ARI139=1.rm ARI140=1.rm
ARI141=1.rm ARI142=1.rm ARI143=1.rm ARI144=1.rm ARI145=1.rm ARI146=1.rm ARI147=1.rm
ARI148=1.rm ARI149=1.rm ARI150=1.rm ARI151=1.rm ARI152=1.rm ARI153=1.rm ARI154=1.rm
ARI155=1.rm ARI156=1.rm ARI157=1.rm ARI158=1.rm ARI159=1.rm ARI160=1.rm ARI161=1.rm
ARI162=1.p ARI163=1.p ARI164=1.p ARI165=1.p ARI166=1.p ARI167=1.p ARI168=1.p
ARI169=1.p ARI170=1.p ARI171=1.p ARI172=1.p ARI173=1.p ARI174=1.p ARI175=1.p
ARI176=1.p ARI177=1.p ARI178=1.p ARI179=1.p ARI180=1.p ARI181=1.p ARI182=1.p
ARI183=1.p ARI184=1.p ARI185=1.p ARI186=1.p ARI187=1.p ARI188=1.p ARI189=1.p
ARI190=1.p ARI191=1.p ARI192=1.p ARI193=1.p ARI194=1.p ARI195=1.p ARI196=1.p
ARI197=1.p ARI198=1.p ARI199=1.p ARI200=1.p ARI201=1.p ARI202=1.p ARI203=1.p
ARI204=1.p ARI205=1.p ARI206=1.p ARI207=1.p ARI208=1.p ARI209=1.p ARI210=1.p
ARI211=1.p ARI212=1.p ARI213=1.p ARI214=1.p ARI215=1.p ARI216=1.p ARI217=1.p
ARI218=1.p ARI219=1.p ARI220=1.p ARI221=1.p ARI222=1.p ARI223=1.p ARI224=1.p
ARI225=1.p ARI226=1.p ARI227=1.p ARI228=1.p ARI229=1.p ARI230=1.p ARI231=1.p
ARI232=1.p ARI233=1.p ARI234=1.p ARI235=1.p ARI236=1.p ARI237=1.p ARI238=1.p
ARI239=1.p ARI240=1.p ARI241=1.p ARI242=1.p ARI243=1.p ARI244=1.p ARI245=1.p
ARI246=1.p ARI247=1.p ARI248=1.p ARI249=1.p ARI250=1.p ARI251=1.p ARI252=1.p
ARI253=1.p ARI254=1.p ARI255=1.p ARI256=1.p ARI257=1.p ARI258=1.p ARI259=1.p
ARI260=1.p ARI261=1.p ARI262=1.p ARI263=1.p ARI264=1.p ARI265=1.p ARI266=1.p
ARI267=1.p ARI268=1.p ARI269=1.p ARI270=1.p ARI271=1.p ARI272=1.p ARI273=1.p
ARI274=1.p ARI275=1.p ARI276=1.p ARI277=1.p ARI278=1.p ARI279=1.p ARI280=1.p
ARI281=1.p ARI282=1.p ARI283=1.p ARI284=1.p ARI285=1.p ARI286=1.p ARI287=1.p
ARI288=1.p ARI289=1.p ARI290=1.p ARI291=1.p ARI292=1.p ARI293=1.p ARI294=1.p
ARI295=1.p ARI296=1.p ARI297=1.p ARI298=1.p ARI299=1.p ARI300=1.p ARI301=1.p
ARI302=1.p ARI303=1.p ARI304=1.p ARI305=1.p ARI306=1.p ARI307=1.p ARI308=1.p
ARI309=1.p ARI310=1.p ARI311=1.p ARI312=1.p ARI313=1.p ARI314=1.rm ARI315=1.rm
ARI316=1.rm ARI317=1.rm ARI318=1.rm ARI319=1.rm ARI320=1.rm ARI321=1.rm ARI322=1.rm
ARI323=1.rm ARI324=1.rm ARI325=1.rm ARI326=1.rm ARI327=1.rm ARI328=1.rm ARI329=1.rm
ARI330=1.rm ARI331=1.rm ARI332=1.rm ARI333=1.rm ARI334=1.rm ARI335=1.rm ARI336=1.rm
ARI337=1.p ARI338=1.p ARI339=1.p ARI340=1.p ARI341=1.p ARI342=1.p ARI343=1.p
ARI344=1.p ARI345=1.p ARI346=1.p ARI347=1.p ARI348=1.p ARI349=1.p ARI350=1.p
ARI351=1.p ARI352=1.p ARI353=1.p ARI354=1.p ARI355=1.p ARI356=1.p ARI357=1.p
ARI358=1.p ARI359=1.p ARI360=1.p ARI361=1.p ARI362=1.p ARI363=1.p ARI364=1.p
ARI365=1.p ARI366=1.p ARI367=1.p ARI368=1.p ARI369=1.p ARI370=1.p ARI371=1.p
ARI372=1.p ARI373=1.p ARI374=1.p ARI375=1.p ARI376=1.p ARI377=1.p ARI378=1.p
ARI379=1.p ARI380=1.p ARI381=1.p ARI382=1.p ARI383=1.p ARI384=1.p ARI385=1.p
ARI386=1.p ARI387=1.p ARI388=1.p ARI389=1.p ARI390=1.p ARI391=1.p ARI392=1.p
ARI393=1.p ARI394=1.p ARI395=1.p ARI396=1.p ARI397=1.p ARI398=1.p ARI399=1.p
ARI400=1.p ARI401=1.p ARI402=1.p ARI403=1.p ARI404=1.p ARI405=1.p ARI406=1.p
ARI407=1.p ARI408=1.p ARI409=1.p ARI410=1.p ARI411=1.p ARI412=1.p ARI413=1.p
ARI414=1.p ARI415=1.p ARI416=1.p ARI417=1.p ARI418=1.p ARI419=1.p ARI420=1.p
ARI421=1.p ARI422=1.p ARI423=1.p ARI424=1.p ARI425=1.p ARI426=1.p ARI427=1.p
ARI428=1.p ARI429=1.p ARI430=1.p ARI431=1.p ARI432=1.p ARI433=1.p ARI434=1.p
ARI435=1.p ARI436=1.p ARI437=1.p ARI438=1.p ARI439=1.p ARI440=1.p ARI441=1.p
ARI442=1.p ARI443=1.p ARI444=1.p ARI445=1.p ARI446=1.p ARI447=1.p ARI448=1.p
ARI449=1.p ARI450=1.p ARI451=1.p ARI452=1.p ARI453=1.p ARI454=1.p ARI455=1.p
ARI456=1.p ARI457=1.p ARI458=1.p ARI459=1.p ARI460=1.p ARI461=1.p ARI462=1.p
ARI463=1.p ARI464=1.p ARI465=1.rm ARI466=1.rm ARI467=1.rm ARI468=1.rm ARI469=1.rm
ARI470=1.rm ARI471=1.rm ARI472=1.rm ARI473=1.rm ARI474=1.rm ARI475=1.rm ARI476=1.rm
ARI477=1.rm ARI478=1.rm ARI479=1.rm ARI480=1.rm ARI481=1.rm ARI482=1.rm ARI483=1.rm
ARI484=1.rm ARI485=1.rm ARI486=1.rm ARI487=1.rm ARI488=1.p ARI489=1.p ARI490=1.p
ARI491=1.p ARI492=1.p ARI493=1.p ARI494=1.p ARI495=1.p ARI496=1.p ARI497=1.p
ARI498=1.p ARI499=1.p ARI500=1.p ARI501=1.p ARI502=1.p ARI503=1.p ARI504=1.p
ARI505=1.p ARI506=1.p ARI507=1.p ARI508=1.p ARI509=1.p ARI510=1.p ARI511=1.p
ARI512=1.p ARI513=1.p ARI514=1.p ARI515=1.p ARI516=1.p ARI517=1.p ARI518=1.p
ARI519=1.p ARI520=1.p ARI521=1.rm ARI522=1.p ARI523=1.p ARI524=1.p ARI525=1.p
ARI526=1.p ARI527=1.rm ARI528=1.p ARI529=1.p ARI530=1.rm ARI531=1.rm ARI532=1.rm
ARI533=1.p ARI534=1.p ARI535=1.p ARI536=1.p ARI536=2.p ARI536=3.p ARI536=4.p
ARI537=1.p ARI538=1.p ARI539=1.p ARI540=1.p ARI541=1.p ARI542=1.p ARI543=1.p
ARI544=1.p ARI545=1.p ARI546=1.p ARI547=1.p ARI548=1.p ARI549=1.p ARI550=1.p
ARI551=1.p ARI552=1.p ARI553=1.p ARI554=1.p ARI555=1.p ARI556=1.p ARI557=1.p
ARI558=1.p ARI559=1.p ARI560=1.p ARI561=1.p ARI562=1.p ARI563=1.p ARI564=1.p
ARI565=1.p ARI566=1.p ARI567=1.p ARI568=1.p ARI569=1.rm ARI570=1.p ARI571=1.p
ARI572=1.p ARI573=1.p ARI574=1.p ARI575=1.p ARI575=2.p ARI575=3.p ARI576=1.p
ARI577=1.p ARI578=1.p ARI579=1.p ARI579=2.p ARI579=3.p ARI580=1.p ARI581=1.p
ARI582=1.p ARI583=1.p ARI584=1.p ARI585=1.p ARI586=1.p ARI587=1.p ARI588=1.p
ARI589=1.p ARI590=1.p ARI591=1.p ARI592=1.p ARI593=1.p ARI594=1.p ARI595=1.p
ARI596=1.p ARI597=1.p ARI598=1.p ARI599=1.p ARI600=1.p ARI601=1.p ARI602=1.p
ARI603=1.p ARI604=1.p ARI605=1.p ARI606=1.p ARI607=1.p ARI608=1.p ARI609=1.p
ARI610=1.p ARI611=1.p ARI612=1.p ARI613=1.p ARI614=1.p ARI615=1.p ARI616=1.p
ARI617=1.p ARI618=1.p ARI619=1.p ARI619=2.p ARI619=3.p ARI620=1.p ARI621=1.p
ARI621=2.p ARI621=3.p ARI622=1.p ARI623=1.p ARI624=1.p ARI625=1.p ARI625=2.p
ARI626=1.p ARI627=1.p ARI628=1.p ARI629=1.p ARI630=1.p ARI631=1.p ARI632=1.p
ARI633=1.p ARI634=1.p ARI635=1.p ARI636=1.p ARI637=1.p ARI638=1.p ARI639=1.p
ARI640=1.p ARI641=1.p ARI642=1.p ARI643=1.p ARI644=1.p ARI645=1.p ARI646=1.p
ARI647=1.p ARI648=1.p ARI649=1.p ARI650=1.p ARI651=1.p ARI652=1.p ARI653=1.p
ARI654=1.p ARI655=1.p ARI656=1.p ARI657=1.p ARI658=1.p ARI659=1.p ARI660=1.p
ARI661=1.p ARI662=1.p ARI663=1.p ARI664=1.p ARI665=1.p ARI666=1.p ARI667=1.p
ARI668=1.p ARI669=1.p ARI670=1.p ARI671=1.p ARI672=1.p ARI673=1.p ARI674=1.p
ARI675=1.p ARI676=1.p ARI677=1.p ARI678=1.p ARI679=1.p ARI680=1.p ARI681=1.p
ARI682=1.p ARI683=1.p ARI684=1.p ARI685=1.p ARI686=1.p ARI687=1.p ARI688=1.p
ARI689=1.p ARI690=1.p ARI691=1.p ARI692=1.p ARI693=1.p ARI694=1.p ARI695=1.p
ARI696=1.p ARI697=1.p ARI698=1.p ARI699=1.p ARI700=1.p ARI701=1.p ARI702=1.p
ARI703=1.p ARI704=1.p ARI705=1.p ARI706=1.p ARI707=1.p ARI708=1.p ARI709=1.p
ARI710=1.p ARI711=1.p ARI712=1.p ARI713=1.p ARI714=1.p ARI715=1.p ARI716=1.p
ARI717=1.p ARI718=1.p ARI719=1.p ARI720=1.p ARI721=1.p ARI722=1.p ARI723=1.p
ARI724=1.p ARI725=1.p ARI726=1.p ARI727=1.p ARI728=1.p ARI729=1.p ARI730=1.p
ARI731=1.p ARI732=1.p ARI733=1.p ARI734=1.p ARI735=1.p ARI736=1.p ARI737=1.p
ARI738=1.p ARI739=1.p ARI740=1.p ARI741=1.p ARI742=1.p ARI743=1.p ARI744=1.p
ARI745=1.p ARI746=1.p ARI747=1.p ARI748=1.p ARI749=1.p ARI750=1.p ARI751=1.p
ARI752=1.p ARI753=1.p ARI754=1.p ARI755=1.p ARI756=1.p ARI757=1.p ARI758=1.p
ARI759=1.p ARI760=1.p ARI761=1.p