Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det store.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 go.v (:p to.p 〈det store.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[(k store.n) for.p 〈det person.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[(k store.n) for.p 〈det (plur person.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (grocery store).
Logical form
[〈det person.n〉 have.v 〈det (nn grocery.n store.n)〉]
Learned by reading
See source sentences for this factoid.
Persons may have an (online store).
Logical form
[〈det (plur person.n)〉 have.v 〈det (nn online.n store.n)〉]
Learned by reading
See source sentences for this factoid.
Promotions can be from a store.
Logical form
[(k (plur promotion.n)) from.p 〈the store.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det company.n〉 have.v 〈det store.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det coupon.n〉 from.p 〈det store.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈det store.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 at.p 〈det store.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 leave.v 〈det store.n〉]
Learned by reading
See source sentences for this factoid.
A person can be at a (grocery store).
Logical form
[〈det person.n〉 at.p 〈det (nn grocery.n store.n)〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
All or most persons occasionally walk into a store.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y store.n]
[[x walk-into.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many stores have a back as a part.
Logical form
(many x: [x store.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.
Logical form
(many x: [x store.n]
(some e: [[x | e] enduring]
(some y
[[y front-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.