Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det (plur tax.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur tax.n)〉]
Learned by reading
See source sentences for this factoid.
A us-president may have (tax cuts).
Logical form
[〈det us-president.n〉 have.v (:q det (nn tax.n (plur cut.n)))]
Learned by reading
See source sentences for this factoid.
A person may have a (tax return).
Logical form
[〈det person.n〉 have.v 〈det (nn tax.n return.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det (plur tax.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 pay.v 〈det tax.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 pay.v 〈det tax.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 raise.v 〈det tax.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 cut.v 〈det tax.n〉]
Learned by reading
See source sentences for this factoid.
Persons may have a (tax money).
Logical form
[〈det (plur person.n)〉 have.v 〈det (nn tax.n money.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (tax money).
Logical form
[〈det person.n〉 have.v 〈det (nn tax.n money.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det (nn tax.n plan.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v (:q det (nn tax.n (plur cut.n)))]
Learned by reading
See source sentences for this factoid.
A us-president may have a (tax plan).
Logical form
[〈det us-president.n〉 have.v 〈det (nn tax.n plan.n)〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x tax.n]
[x increased.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Most or many x x are US presidents x raise a tax.
Logical form
(most-or-many x: [x us-president.n]
(some e:
(some y: [y tax.n]
[[x raise.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 increase.n]
(some y: [y tax.n]
[x in.p y]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.