:: C:\Users\scios\Desktop>python C:\Development\CHECKOUTS\PyAPE\test_ape_http.py > test_ape_http.log @Result from http://localhost:8001/ Text: Every man is a human. Type: drs Value: drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) @Result from http://localhost:8001/ Text: Every man is a human. Type: drshtml Value:
[]
[A]
object(A,man,countable,na,eq,1)-1/2
[B,C]
object(B,human,countable,na,eq,1)-1/5
predicate(C,be,A,B)-1/3
@Result from http://localhost:8001/ Text: Every man is a human. Type: drspp Value: [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 @Result from http://localhost:8001/ Text: Every man is a human. Type: drsxml Value: @Result from http://localhost:8001/ Text: Every man is a human. Type: fol Value: forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) @Result from http://localhost:8001/ Text: Every man is a human. Type: owlfss Value: 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) @Result from http://localhost:8001/ Text: Every man is a human. Type: owlfsspp Value: Prefix(:=) Ontology( SubClassOf( :man :human ) ) @Result from http://localhost:8001/ Text: Every man is a human. Type: owlrdf Value: ERROR: Unexpected error. @Result from http://localhost:8001/ Text: Every man is a human. Type: owlxml Value: @Result from http://localhost:8001/ Text: Every man is a human. Type: paraphrase Value: Every man is a human. @Result from http://localhost:8001/ Text: Every man is a human. Type: paraphrase1 Value: If there is a man X1 then the man X1 is a human. @Result from http://localhost:8001/ Text: Every man is a human. Type: paraphrase2 Value: Every man is a human. @Result from http://localhost:8001/ Text: Every man is a human. Type: pnf Value: forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) @Result from http://localhost:8001/ Text: Every man is a human. Type: sentences Value: ['Every man is a human.'] @Result from http://localhost:8001/ Text: Every man is a human. Type: syntax Value: [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] @Result from http://localhost:8001/ Text: Every man is a human. Type: syntaxd Value: [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] @Result from http://localhost:8001/ Text: Every man is a human. Type: syntaxdpp Value: specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . @Result from http://localhost:8001/ Text: Every man is a human. Type: syntaxpp Value: specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . @Result from http://localhost:8001/ Text: Every man is a human. Type: tokens Value: [[^,'Every',man,is,a,human,'.']] @Result from http://localhost:8001/ Text: Every man is a human. Type: tptp Value: fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: drs Value: drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: drshtml Value:
[]
[A]
object(A,man,countable,na,eq,1)-1/2
[B,C]
object(B,human,countable,na,eq,1)-1/5
predicate(C,be,A,B)-1/3
@Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: drspp Value: [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: drsxml Value: @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: fol Value: forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: owlfss Value: 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: owlfsspp Value: Prefix(:=) Ontology( SubClassOf( :man :human ) ) @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: owlrdf Value: ERROR: Unexpected error. @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: owlxml Value: @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: paraphrase Value: Every man is a human. @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: paraphrase1 Value: If there is a man X1 then the man X1 is a human. @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: paraphrase2 Value: Every man is a human. @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: pnf Value: forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: sentences Value: ['Every man is a human.'] @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: syntax Value: [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: syntaxd Value: [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: syntaxdpp Value: specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: syntaxpp Value: specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: tokens Value: [[^,'Every',man,is,a,human,'.']] @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: tptp Value: fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': False, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': False, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': False, 'cparaphrase1': False, 'cowlxml': False, 'cdrshtml': False, 'cfol': False, 'csyntaxdpp': False, 'cowlfsspp': False, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': False} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': False, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': False, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': False, 'cparaphrase1': False, 'cowlxml': False, 'cdrshtml': True, 'cfol': False, 'csyntaxdpp': False, 'cowlfsspp': False, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': False} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': False, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': False, 'cparaphrase1': False, 'cowlxml': False, 'cdrshtml': True, 'cfol': False, 'csyntaxdpp': False, 'cowlfsspp': False, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': False} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': False, 'cparaphrase1': False, 'cowlxml': False, 'cdrshtml': True, 'cfol': False, 'csyntaxdpp': False, 'cowlfsspp': False, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': False} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': False, 'cparaphrase1': False, 'cowlxml': False, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': False, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': False} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': True, 'cparaphrase1': False, 'cowlxml': False, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': False, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': False} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': True, 'cparaphrase1': False, 'cowlxml': False, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': False} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': True, 'cparaphrase1': False, 'cowlxml': False, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': False, 'cowlfss': True, 'cparaphrase1': False, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': False, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': False, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': False, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': False, 'ctokens': False, 'csyntax': False, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': False, 'csyntax': False, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': False, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': False, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': False, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': False, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': False, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': False, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': False, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': False, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://localhost:8001/ Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))). @Result from http://attempto.ifi.uzh.ch/ws/ape/apews.perl Text: Every man is a human. Type: {'cdrsxml': True, 'csentences': True, 'ctokens': True, 'csyntax': True, 'cpnf': True, 'cdrs': True, 'cdrspp': True, 'ctptp': True, 'cparaphrase2': True, 'cparaphrase': True, 'cowlfss': True, 'cparaphrase1': True, 'cowlxml': True, 'cdrshtml': True, 'cfol': True, 'csyntaxdpp': True, 'cowlfsspp': True, 'csyntaxpp': True, 'csyntaxd': True, 'cowlrdf': True} Value: [[^,'Every',man,is,a,human,'.']] ['Every man is a human.'] drs([],[=>(drs([A],[object(A,man,countable,na,eq,1)-1/2]),drs([B,C],[object(B,human,countable,na,eq,1)-1/5,predicate(C,be,A,B)-1/3]))]) [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[aux,is],[np,[det,a],[nbar,[n,human]]]]],'.']] specification ________|_________ s | _____|______ | np vp | ___|___ ___|___ | det nbar aux np | | | | __|__ | | n | det nbar | | | | | | | | | | | n | | | | | | | every man is a human . [[specification,[s,[np,[det,every],[nbar,[n,man]]],[vp,[],[aux,is,[]],[np,[det,a],[nbar,[n,human]]],[]]],'.']] specification ___________|___________ s | ________|_________ | np vp | ___|___ _________|__________ | det nbar | aux np | | | | | _|__ __|__ | | | n | | | det nbar | | | | | | | | | | | | | | | | | n | | | | | | | | | | | every man [] is [] a human [] . [] [A] object(A,man,countable,na,eq,1)-1/2 => [B,C] object(B,human,countable,na,eq,1)-1/5 predicate(C,be,A,B)-1/3 <?xml version="1.0" encoding="UTF-8"?> <DRS domain=""> <Implication> <DRS domain="A"> <object ref="A" noun="man" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/> </DRS> <DRS domain="B C"> <object ref="B" noun="human" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="5"/> <predicate ref="C" verb="be" subj="A" obj="B" sentid="1" tokid="3"/> </DRS> </Implication> </DRS> <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css"> div.dom { background-color: #ace; margin-bottom: 0.5em } table.drs { font-family: monospace; padding: 0.4em 0.4em 0.4em 0.4em; border: 1px solid black; margin-bottom: 2em; background-color: #eee; border-collapse: collapse } td { vertical-align: top; padding: 0.3em 0.3em 0.3em 0.3em; border: 1px solid black } td.op { vertical-align: middle; font-size: 110%; border: none } </style> </head> <body><table class="drs"><tr><td><div class="dom">[]</div><table><tr><td><div class="dom">[A]</div>object(A,man,countable,na,eq,1)-1/2<br/></td><td class="op">&rArr;</td><td><div class="dom">[B,C]</div>object(B,human,countable,na,eq,1)-1/5<br/>predicate(C,be,A,B)-1/3<br/></td></tr></table></td></tr></table></body> </html> Every man is a human. If there is a man X1 then the man X1 is a human. Every man is a human. 'Ontology'('http://attempto.ifi.uzh.ch/ontologies/owlswrl/test',['SubClassOf'('':man,'':human)]) Prefix(:=<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#>) Ontology(<http://attempto.ifi.uzh.ch/ontologies/owlswrl/test> SubClassOf( :man :human ) ) <?xml version="1.0" encoding="UTF-8"?> <Ontology xml:base="http://www.w3.org/2002/07/owl#" xmlns="http://www.w3.org/2002/07/owl#" ontologyIRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test"> <SubClassOf> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#man"/> <Class IRI="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test#human"/> </SubClassOf> </Ontology> forall(A,=>(object(B,A,man,countable,na,eq,1)-1/2,exists(C,exists(D,&(object(B,C,human,countable,na,eq,1)-1/5,predicate(B,D,be,A,C)-1/3))))) forall(A,exists(B,exists(C,v(-(object(D,A,man,countable,na,eq,1)-1/2),&(object(D,B,human,countable,na,eq,1)-1/5,predicate(D,C,be,A,B)-1/3))))) fof(f1, axiom, ( ! [A] : ((man(A)) => (? [B] : ((human(B)) & (A=B)))))).