Unsharpened Factoids
Logical form
[〈det male.n〉 have.v 〈det race.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det race.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 win.v 〈det race.n〉]
Learned by reading
See source sentences for this factoid.
A legislature may have a race.
Logical form
[〈det legislature.n〉 have.v 〈det race.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det race.n〉 have.v 〈det end.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (heart race).
Logical form
[〈det person.n〉 have.v 〈det (nn heart.n race.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 win.v 〈det race.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 run.v 〈det race.n〉]
Learned by reading
See source sentences for this factoid.
A country may have a (presidential race).
Logical form
[〈det country.n〉 have.v 〈det (nn presidential.n race.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 have.v 〈det (plur race.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det weekday.n〉 have.v 〈det race.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x race.n]
(some e: [[x | e] enduring]
[[x presidential.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many races have an end as a part.
Logical form
(many x: [x race.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.
Logical form
(many x: [x race.n]
(some e: [[x | e] enduring]
[[x competitive.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many races have a member as a part.
Logical form
(many x: [x race.n]
(some e: [[x | e] enduring]
(some y: [y member.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 race.n]
(some e: [[x | e] enduring]
[[x gubernatorial.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.