Unsharpened Factoids
Logical form
[〈det person.n〉 solve.v 〈det problem.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det problem.n〉 (be.pasv solve.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 solve.v 〈the (plur problem.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 solve.v 〈det (plur problem.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 (be.pasv solve.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 (be.pasv solve.v)]
Learned by reading
See source sentences for this factoid.
Some structures may be solved for a class of enzymes.
Logical form
[〈det (plur structure.n)〉 (be.pasv solve.v) (:p for.p (:a 〈det class.n〉 (:p of.p 〈det enzyme.n〉)))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det mystery.n〉 (be.pasv solve.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 solve.v 〈det (plur person.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[(k mystery.n) (be.pasv solve.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 solve.v 〈det mystery.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 case.n〉 (be.pasv solve.v)]
Learned by reading
See source sentences for this factoid.
(housing crisis) may be solved.
Logical form
[(k (nn housing.n crisis.n)) (be.pasv solve.v)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many persons occasionally solve an equation.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y equation.n]
[[x solve.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.