Unsharpened Factoids
Logical form
[〈det male.n〉 have.v 〈det play.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 have.v 〈det play.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det play.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈det play.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det play.n〉 by.p 〈det male.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det writer.n〉 have.v 〈det play.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det writer.n〉 have.v 〈det (plur play.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det play.n〉 on.p 〈det word.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[(k child.n) have.v 〈det play.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det game.n〉 have.v 〈det play.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det play.n〉 by.p 〈det female.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 write.v 〈det play.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x play.n]
(some y: [y male.n]
(some e: [[x | e] enduring]
[[x created-by.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many plays created by a female.
Logical form
(many x: [x play.n]
(some y: [y female.n]
(some e: [[x | e] enduring]
[[x created-by.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.