Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det couch.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 sit.v (:p on.p 〈det couch.n〉)]
Learned by reading
See source sentences for this factoid.
A person may sleep on a couch.
Logical form
[〈det person.n〉 sleep.v (:p on.p 〈det couch.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 on.p 〈det couch.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 fall.v (:p on.p 〈det couch.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det couch.n〉 have.v 〈det back.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 lay.v (:p on.p 〈det couch.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 lie.v (:p on.p 〈det couch.n〉)]
Learned by reading
See source sentences for this factoid.
A person may sit_down on a couch.
Logical form
[〈det person.n〉 sit_down.v (:p on.p 〈det couch.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det couch.n〉 have.v 〈det arm.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det couch.n〉 have.v 〈det end.n〉]
Learned by reading
See source sentences for this factoid.
A person may crash on a couch.
Logical form
[〈det person.n〉 crash.v (:p on.p 〈det couch.n〉)]
Learned by reading
See source sentences for this factoid.
A person may curl_up on a couch.
Logical form
[〈det person.n〉 curl_up.v (:p on.p 〈det couch.n〉)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
All or most persons occasionally sleep on a couch.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y couch.n]
[[x sleep-on.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many couches have a back as a part.
Logical form
(many x: [x couch.n]
(some e: [[x | e] enduring]
(some y: [y back.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most persons occasionally sit down on a couch.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y couch.n]
[[x sit-down-on.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many couches have an arm as a part.
Logical form
(many x: [x couch.n]
(some e: [[x | e] enduring]
(some y: [y arm.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many couches have an end as a part.
Logical form
(many x: [x couch.n]
(some e: [[x | e] enduring]
(some y: [y end.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most persons occasionally curl up on a couch.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y couch.n]
[[x curl-up-on.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x couch.n]
(some e: [[x | e] enduring]
[[x comfortable.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many couches have a side as a part.
Logical form
(many x: [x couch.n]
(some e: [[x | e] enduring]
(some y: [y side.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.