Unsharpened Factoids
Logical form
[〈det person.n〉 climb.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
A (tree collection) can be faraway.
Logical form
[〈det (nn tree.n collection.n)〉 faraway.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur tree.n)〉 beautiful.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur tree.n)〉 deciduous.a]
Learned by reading
See source sentences for this factoid.
A grove can be constituted-of-or-filled-with trees.
Logical form
[〈det grove.n〉 constituted-of-or-filled-with.a 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 love.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tree.n〉 have.v 〈det (plur branch.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 plant.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tree.n〉 have.v 〈det trunk.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det forest.n〉 for.p 〈det (plur tree.n)〉]
Learned by reading
See source sentences for this factoid.
A female may have (tree figurines).
Logical form
[〈det female.n〉 have.v (:q det (nn tree.n (plur figurine.n)))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 see.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
All or most trees have a fruit as a part.
Logical form
(all-or-most x: [x tree.n]
(some e: [[x | e] enduring]
(some y: [y fruit.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.
Logical form
(many x: [x tree.n]
(some e: [[x | e] enduring]
(some y
[[y fruit-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most trees have a leaf as a part.
Logical form
(all-or-most x: [x tree.n]
(some e: [[x | e] enduring]
(some y: [y leaf.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 persons occasionally sit under a tree.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y tree.n]
[[x sit-under.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.