Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det school.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p (k school.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 go.v (:p to.p (k school.n))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur school.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 at.p (k school.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 start.v (k school.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 attend.v 〈det school.n〉]
Learned by reading
See source sentences for this factoid.
A male may graduate from a school.
Logical form
[〈det male.n〉 graduate.v (:p from.p 〈det school.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det school.n〉 in.p 〈det us-city.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 attend.v 〈det school.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 go.v (:p to.p 〈det school.n〉)]
Learned by reading
See source sentences for this factoid.
A male may be educated at a school.
Logical form
[〈det male.n〉 (be.pasv educate.v) (:p at.p 〈det school.n〉)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x school.n]
(some e: [[x | e] enduring]
[[x elementary.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many schools are in a world city.
Logical form
(many x: [x school.n]
(some e: [[x | e] enduring]
(some y: [y world-city.n]
[[x in.p y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.