TPTP Problem Domain: NLP

`NLP001^17.p`	`NLP001+1.p`	`NLP001-1.p`	`NLP001^3.p`	`NLP001^7.p`	`NLP002-10.p`	`NLP002+1.p`
`NLP002-1.p`	`NLP002^7.p`	`NLP003-10.p`	`NLP003+1.p`	`NLP003-1.p`	`NLP003^7.p`	`NLP004^12.p`
`NLP004^13.p`	`NLP004+1.p`	`NLP004-1.p`	`NLP004^7.p`	`NLP004^8.p`	`NLP005+1.p`	`NLP005-1.p`
`NLP005^7.p`	`NLP006+1.p`	`NLP006-1.p`	`NLP006^7.p`	`NLP007+1.p`	`NLP007-1.p`	`NLP007^7.p`
`NLP008+1.p`	`NLP008-1.p`	`NLP008^7.p`	`NLP009+1.p`	`NLP009-1.p`	`NLP009^7.p`	`NLP010+1.rm`
`NLP010-1.rm`	`NLP011+1.p`	`NLP011-1.p`	`NLP011^7.p`	`NLP012+1.p`	`NLP012-1.p`	`NLP013+1.p`
`NLP013-1.p`	`NLP014-10.p`	`NLP014+1.p`	`NLP014-1.p`	`NLP015-10.p`	`NLP015+1.p`	`NLP015-1.p`
`NLP016-10.p`	`NLP016+1.p`	`NLP016-1.p`	`NLP017-10.p`	`NLP017+1.p`	`NLP017-1.p`	`NLP018-10.p`
`NLP018+1.p`	`NLP018-1.p`	`NLP019-10.p`	`NLP019+1.p`	`NLP019-1.p`	`NLP020-10.p`	`NLP020+1.p`
`NLP020-1.p`	`NLP021-10.p`	`NLP021+1.p`	`NLP021-1.p`	`NLP022-10.p`	`NLP022+1.p`	`NLP022-1.p`
`NLP023-10.p`	`NLP023+1.p`	`NLP023-1.p`	`NLP024-10.p`	`NLP024+1.p`	`NLP024-1.p`	`NLP025-10.p`
`NLP025+1.p`	`NLP025-1.p`	`NLP026+1.p`	`NLP026-1.p`	`NLP027+1.p`	`NLP027-1.p`	`NLP028+1.p`
`NLP028-1.p`	`NLP029+1.p`	`NLP029-1.p`	`NLP030+1.p`	`NLP030-1.p`	`NLP031+1.p`	`NLP031-1.p`
`NLP032+1.p`	`NLP032-1.p`	`NLP033+1.p`	`NLP033-1.p`	`NLP034+1.p`	`NLP034-1.p`	`NLP035+1.p`
`NLP035-1.p`	`NLP036+1.p`	`NLP036-1.p`	`NLP037+1.p`	`NLP037-1.p`	`NLP038+1.p`	`NLP038-1.p`
`NLP039+1.p`	`NLP039-1.p`	`NLP040+1.p`	`NLP040-1.p`	`NLP041+1.p`	`NLP041-1.p`	`NLP042-10.p`
`NLP042+1.p`	`NLP042-1.p`	`NLP043+1.p`	`NLP043-1.p`	`NLP044+1.p`	`NLP044-1.p`	`NLP045+1.p`
`NLP045-1.p`	`NLP046+1.p`	`NLP046-1.p`	`NLP047+1.p`	`NLP047-1.p`	`NLP048+1.p`	`NLP048-1.p`
`NLP049+1.p`	`NLP049-1.p`	`NLP050+1.p`	`NLP050-1.p`	`NLP051+1.p`	`NLP051-1.p`	`NLP052+1.p`
`NLP052-1.p`	`NLP053+1.p`	`NLP053-1.p`	`NLP054+1.p`	`NLP054-1.p`	`NLP055+1.p`	`NLP055-1.p`
`NLP056+1.p`	`NLP056-1.p`	`NLP057+1.p`	`NLP057-1.p`	`NLP058+1.p`	`NLP058-1.p`	`NLP059+1.p`
`NLP059-1.p`	`NLP060+1.p`	`NLP060-1.p`	`NLP061+1.p`	`NLP061-1.p`	`NLP062+1.p`	`NLP062-1.p`
`NLP063+1.p`	`NLP063-1.p`	`NLP064+1.p`	`NLP064-1.p`	`NLP065+1.p`	`NLP065-1.p`	`NLP066+1.p`
`NLP066-1.p`	`NLP067+1.p`	`NLP067-1.p`	`NLP068+1.p`	`NLP068-1.p`	`NLP069+1.p`	`NLP069-1.p`
`NLP070+1.p`	`NLP070-1.p`	`NLP071+1.p`	`NLP071-1.p`	`NLP072+1.p`	`NLP072-1.p`	`NLP073+1.p`
`NLP073-1.p`	`NLP074+1.p`	`NLP074-1.p`	`NLP075+1.p`	`NLP075-1.p`	`NLP076+1.p`	`NLP076-1.p`
`NLP077+1.p`	`NLP077-1.p`	`NLP078+1.p`	`NLP078-1.p`	`NLP079+1.p`	`NLP079-1.p`	`NLP080+1.p`
`NLP080-1.p`	`NLP081+1.p`	`NLP081-1.p`	`NLP082+1.p`	`NLP082-1.p`	`NLP083+1.p`	`NLP083-1.p`
`NLP084+1.p`	`NLP084-1.p`	`NLP085+1.p`	`NLP085-1.p`	`NLP086+1.p`	`NLP086-1.p`	`NLP087+1.p`
`NLP087-1.p`	`NLP088+1.p`	`NLP088-1.p`	`NLP089+1.p`	`NLP089-1.p`	`NLP090+1.p`	`NLP090-1.p`
`NLP091+1.p`	`NLP091-1.p`	`NLP092+1.p`	`NLP092-1.p`	`NLP093+1.p`	`NLP093-1.p`	`NLP094+1.p`
`NLP094-1.p`	`NLP095+1.p`	`NLP095-1.p`	`NLP096+1.p`	`NLP096-1.p`	`NLP097+1.p`	`NLP097-1.p`
`NLP098+1.p`	`NLP098-1.p`	`NLP099+1.p`	`NLP099-1.p`	`NLP100+1.p`	`NLP100-1.p`	`NLP101+1.p`
`NLP101-1.p`	`NLP102+1.p`	`NLP102-1.p`	`NLP103+1.p`	`NLP103-1.p`	`NLP104+1.p`	`NLP104-1.p`
`NLP105+1.p`	`NLP105-1.p`	`NLP106+1.p`	`NLP106-1.p`	`NLP107+1.p`	`NLP107-1.p`	`NLP108-10.p`
`NLP108+1.p`	`NLP108-1.p`	`NLP109+1.p`	`NLP109-1.p`	`NLP110-10.p`	`NLP110+1.p`	`NLP110-1.p`
`NLP111-10.p`	`NLP111+1.p`	`NLP111-1.p`	`NLP112-10.p`	`NLP112+1.p`	`NLP112-1.p`	`NLP113+1.p`
`NLP113-1.p`	`NLP114+1.p`	`NLP114-1.p`	`NLP115+1.p`	`NLP115-1.p`	`NLP116+1.p`	`NLP116-1.p`
`NLP117+1.p`	`NLP117-1.p`	`NLP118+1.p`	`NLP118-1.p`	`NLP119+1.p`	`NLP119-1.p`	`NLP120+1.p`
`NLP120-1.p`	`NLP121+1.p`	`NLP121-1.p`	`NLP122+1.p`	`NLP122-1.p`	`NLP123+1.p`	`NLP123-1.p`
`NLP124-10.p`	`NLP124+1.p`	`NLP124-1.p`	`NLP125-10.p`	`NLP125+1.p`	`NLP125-1.p`	`NLP126-10.p`
`NLP126+1.p`	`NLP126-1.p`	`NLP127-10.p`	`NLP127+1.p`	`NLP127-1.p`	`NLP128-10.p`	`NLP128+1.p`
`NLP128-1.p`	`NLP129-10.p`	`NLP129+1.p`	`NLP129-1.p`	`NLP130+1.p`	`NLP130-1.p`	`NLP131+1.p`
`NLP131-1.p`	`NLP132+1.p`	`NLP132-1.p`	`NLP133+1.p`	`NLP133-1.p`	`NLP134+1.p`	`NLP134-1.p`
`NLP135+1.p`	`NLP135-1.p`	`NLP136+1.p`	`NLP136-1.p`	`NLP137+1.p`	`NLP137-1.p`	`NLP138+1.p`
`NLP138-1.p`	`NLP139+1.p`	`NLP139-1.p`	`NLP140+1.p`	`NLP140-1.p`	`NLP141+1.p`	`NLP141-1.p`
`NLP142+1.p`	`NLP142-1.p`	`NLP143+1.p`	`NLP143-1.p`	`NLP144+1.p`	`NLP144-1.p`	`NLP145+1.p`
`NLP145-1.p`	`NLP146+1.p`	`NLP146-1.p`	`NLP147+1.p`	`NLP147-1.p`	`NLP148+1.p`	`NLP148-1.p`
`NLP149+1.p`	`NLP149-1.p`	`NLP150+1.p`	`NLP150-1.p`	`NLP151+1.p`	`NLP151-1.p`	`NLP152+1.p`
`NLP152-1.p`	`NLP153+1.p`	`NLP153-1.p`	`NLP154+1.p`	`NLP154-1.p`	`NLP155+1.p`	`NLP155-1.p`
`NLP156+1.p`	`NLP156-1.p`	`NLP157+1.p`	`NLP157-1.p`	`NLP158+1.p`	`NLP158-1.p`	`NLP159+1.p`
`NLP159-1.p`	`NLP160+1.p`	`NLP160-1.p`	`NLP161+1.p`	`NLP161-1.p`	`NLP162+1.p`	`NLP162-1.p`
`NLP163+1.p`	`NLP163-1.p`	`NLP164+1.p`	`NLP164-1.p`	`NLP165+1.p`	`NLP165-1.p`	`NLP166+1.p`
`NLP166-1.p`	`NLP167+1.p`	`NLP167-1.p`	`NLP168+1.p`	`NLP168-1.p`	`NLP169+1.p`	`NLP169-1.p`
`NLP170+1.p`	`NLP170-1.p`	`NLP171+1.p`	`NLP171-1.p`	`NLP172+1.p`	`NLP172-1.p`	`NLP173+1.p`
`NLP173-1.p`	`NLP174+1.p`	`NLP174-1.p`	`NLP175+1.p`	`NLP175-1.p`	`NLP176+1.p`	`NLP176-1.p`
`NLP177+1.p`	`NLP177-1.p`	`NLP178+1.p`	`NLP178-1.p`	`NLP179+1.p`	`NLP179-1.p`	`NLP180+1.p`
`NLP180-1.p`	`NLP181+1.p`	`NLP181-1.p`	`NLP182+1.p`	`NLP182-1.p`	`NLP183+1.p`	`NLP183-1.p`
`NLP184+1.p`	`NLP184-1.p`	`NLP185+1.p`	`NLP185-1.p`	`NLP186+1.p`	`NLP186-1.p`	`NLP187+1.p`
`NLP187-1.p`	`NLP188+1.p`	`NLP188-1.p`	`NLP189+1.p`	`NLP189-1.p`	`NLP190+1.p`	`NLP190-1.p`
`NLP191+1.p`	`NLP191-1.p`	`NLP192+1.p`	`NLP192-1.p`	`NLP193+1.p`	`NLP193-1.p`	`NLP194+1.p`
`NLP194-1.p`	`NLP195+1.p`	`NLP195-1.p`	`NLP196+1.p`	`NLP196-1.p`	`NLP197+1.p`	`NLP197-1.p`
`NLP198+1.p`	`NLP198-1.p`	`NLP199+1.p`	`NLP199-1.p`	`NLP200+1.p`	`NLP200-1.p`	`NLP201+1.p`
`NLP201-1.p`	`NLP202+1.p`	`NLP202-1.p`	`NLP203+1.p`	`NLP203-1.p`	`NLP204+1.p`	`NLP204-1.p`
`NLP205+1.p`	`NLP205-1.p`	`NLP206+1.p`	`NLP206-1.p`	`NLP207+1.p`	`NLP207-1.p`	`NLP208+1.p`
`NLP208-1.p`	`NLP209+1.p`	`NLP209-1.p`	`NLP210+1.p`	`NLP210-1.p`	`NLP211+1.p`	`NLP211-1.p`
`NLP212+1.p`	`NLP212-1.p`	`NLP213+1.p`	`NLP213-1.p`	`NLP214+1.p`	`NLP214-1.p`	`NLP215+1.p`
`NLP215-1.p`	`NLP216+1.p`	`NLP216-1.p`	`NLP217+1.p`	`NLP217-1.p`	`NLP218+1.p`	`NLP218-1.p`
`NLP219+1.p`	`NLP219-1.p`	`NLP220-10.p`	`NLP220+1.p`	`NLP220-1.p`	`NLP221+1.p`	`NLP221-1.p`
`NLP222+1.p`	`NLP222-1.p`	`NLP223+1.p`	`NLP223-1.p`	`NLP224-10.p`	`NLP224+1.p`	`NLP224-1.p`
`NLP225-10.p`	`NLP225+1.p`	`NLP225-1.p`	`NLP226-10.p`	`NLP226+1.p`	`NLP226-1.p`	`NLP227-10.p`
`NLP227+1.p`	`NLP227-1.p`	`NLP228-10.p`	`NLP228+1.p`	`NLP228-1.p`	`NLP229-10.p`	`NLP229+1.p`
`NLP229-1.p`	`NLP230+1.p`	`NLP230-1.p`	`NLP231+1.p`	`NLP231-1.p`	`NLP232+1.p`	`NLP232-1.p`
`NLP233+1.p`	`NLP233-1.p`	`NLP234+1.p`	`NLP234-1.p`	`NLP235+1.p`	`NLP235-1.p`	`NLP236+1.p`
`NLP236-1.p`	`NLP237+1.p`	`NLP237-1.p`	`NLP238+1.p`	`NLP238-1.p`	`NLP239+1.p`	`NLP239-1.p`
`NLP240-10.p`	`NLP240+1.p`	`NLP240-1.p`	`NLP241-10.p`	`NLP241+1.p`	`NLP241-1.p`	`NLP242-10.p`
`NLP242+1.p`	`NLP242-1.p`	`NLP243-10.p`	`NLP243+1.p`	`NLP243-1.p`	`NLP244-10.p`	`NLP244+1.p`
`NLP244-1.p`	`NLP245-10.p`	`NLP245+1.p`	`NLP245-1.p`	`NLP246-10.p`	`NLP246+1.p`	`NLP246-1.p`
`NLP247-10.p`	`NLP247+1.p`	`NLP247-1.p`	`NLP248-10.p`	`NLP248+1.p`	`NLP248-1.p`	`NLP249-10.p`
`NLP249+1.p`	`NLP249-1.p`	`NLP250+1.p`	`NLP250-1.p`	`NLP251+1.p`	`NLP251-1.p`	`NLP252+1.p`
`NLP252-1.p`	`NLP253+1.p`	`NLP253-1.p`	`NLP254+1.p`	`NLP254-1.p`	`NLP255+1.p`	`NLP255-1.p`
`NLP256+1.p`	`NLP256-1.p`	`NLP257+1.p`	`NLP257-1.p`	`NLP258+1.p`	`NLP258-1.p`	`NLP259+1.p`
`NLP259-1.p`	`NLP260+1.p`	`NLP261+1.p`	`NLP262+1.p`	`NLP263+1.p`	`NLP264^7.p`	`NLP265^17.p`
`NLP265_17.p`	`NLP265^18.p`	`NLP266^12.p`	`NLP266^18.rm`	`NLP266^23.p`	`NLP266_23.p`	`NLP266^3.p`
`NLP266_3.p`	`NLP266^4.p`	`NLP266_4.p`	`NLP267^17.p`	`NLP267_17.p`	`NLP267^18.p`	`NLP267^1.p`
`NLP267_1.p`	`NLP267^2.p`	`NLP267_2.p`	`NLP267^3.p`	`NLP267_3.p`	`NLP267^4.p`	`NLP267_4.p`
`NLP267^5.p`	`NLP267_5.p`