Unsharpened Factoids
Logical form
[〈det puzzle.n〉 have.v 〈det piece.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 solve.v 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det puzzle.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det piece.n〉 to.p 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 like.v 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det puzzle.n〉 to.p 〈det person.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 love.v 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det answer.n〉 to.p 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
A solution can be to a puzzle.
Logical form
[〈det solution.n〉 to.p 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det puzzle.n〉 (be.pasv solve.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur puzzle.n)〉 challenging.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 finish.v 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det weekday.n〉 have.v 〈det puzzle.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x puzzle.n]
(some e: [[x | e] enduring]
(some y
[[y piece-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many puzzles have a piece as a part.
Logical form
(many x: [x puzzle.n]
(some e: [[x | e] enduring]
(some y: [y piece.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.
Many puzzles have a part as a part.
Logical form
(many x: [x puzzle.n]
(some e: [[x | e] enduring]
(some y: [y part.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.
Many or some puzzles are challenging.
Logical form
(many-or-some x: [x puzzle.n]
(some e: [[x | e] enduring]
[[x challenging.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some puzzles are difficult.
Logical form
(many-or-some x: [x puzzle.n]
(some e: [[x | e] enduring]
[[x difficult.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some puzzles are interesting.
Logical form
(many-or-some x: [x puzzle.n]
(some e: [[x | e] enduring]
[[x interesting.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.