:: 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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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">⇒</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)))))).