Unsharpened Factoids
Logical form
[〈det female.n〉 have.v 〈det convent.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det convent.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 enter.v 〈a{n} convent.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det convent.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 leave.v 〈the convent.n〉]
Learned by reading
See source sentences for this factoid.
A convent can be in a world-city.
Logical form
[〈det convent.n〉 in.p 〈det world-city.n〉]
Learned by reading
See source sentences for this factoid.
A convent can be constituted-of-or-filled-with nuns.
Logical form
[〈det convent.n〉 constituted-of-or-filled-with.a 〈det nun.n〉]
Learned by reading
See source sentences for this factoid.
A convent can be in a country.
Logical form
[〈det convent.n〉 in.p 〈det country.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det heart.n〉 have.v 〈det convent.n〉]
Learned by reading
See source sentences for this factoid.
A (heart convent) can be sacred.
Logical form
[〈det (nn heart.n convent.n)〉 sacred.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det nun.n〉 in.p 〈det convent.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det heart.n〉 have.v (k convent.n)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many or some convents are franciscan.
Logical form
(many-or-some x: [x convent.n]
(some e: [[x | e] enduring]
[[x franciscan.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many convents are in a world city.
Logical form
(many x: [x convent.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.
A telephone is from the convent.
Logical form
(some x: [x telephone.n]
(the y: [y convent.n]
(some e: [[x | e] enduring]
[[x from.p y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some convents are cloistered.
Logical form
(many-or-some x: [x convent.n]
(some e: [[x | e] enduring]
[[x cloistered.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many females are place ined convent.
Logical form
(many x: [x female.n]
[x (pasv place-in.v) convent.n])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.