Unsharpened Factoids
Logical form
[〈det dream.n〉 (be.pasv come.v) true.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur dream.n)〉 (come.v true.a)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x opposite.n]
(some e: [[x | e] enduring]
[[x true.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x statement.n]
(some e: [[x | e] enduring]
[[x true.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(much x: [x happiness.n]
[x true.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.