Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det son.n〉]
Learned by reading
See source sentences for this factoid.
A male can be a son of a male.
Logical form
[〈det male.n〉 (:a 〈det son.n〉 (:p of.p 〈det male.n〉))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det (plur son.n)〉]
Learned by reading
See source sentences for this factoid.
A male may be succeeded by a son.
Logical form
[〈det male.n〉 (be.pasv succeed.v) (:p by.p 〈det son.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 have.v 〈some-number-of (plur son.n)〉]
Learned by reading
See source sentences for this factoid.
A male can be a son of a female.
Logical form
[〈det male.n〉 (:a 〈the son.n〉 (:p of.p 〈det female.n〉))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det son.n〉 undergo.v 〈det birth.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det son.n〉 undergo.v 〈det death.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x son.n]
(some e: [[x | e] enduring]
[[x illegitimate.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many political leaders have a male as a son.
Logical form
(many x: [x political-leader.n]
(some e:
(some y: [y male.n]
[[x (have-as son.n) y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.