Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det tower.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tower.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur tower.n)〉]
Learned by reading
See source sentences for this factoid.
A female may have a (control tower).
Logical form
[〈det female.n〉 have.v 〈det (nn control.n tower.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tower.n〉 have.v 〈det base.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur tower.n)〉 residential.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur tower.n)〉 collapse.v]
Learned by reading
See source sentences for this factoid.
A tower may undergo a construction.
Logical form
[〈det tower.n〉 undergo.v 〈det construction.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det plane.n〉 hit.v 〈det tower.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tower.n〉 (be.pasv build.v)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many towers have a top as a part.
Logical form
(many x: [x tower.n]
(some e: [[x | e] enduring]
(some y: [y top.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 towers have a base as a part.
Logical form
(many x: [x tower.n]
(some e: [[x | e] enduring]
(some y: [y base.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 towers are residential.
Logical form
(many-or-some x: [x tower.n]
(some e: [[x | e] enduring]
[[x residential.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some towers collapse at some time.
Logical form
(many-or-some x: [x tower.n]
(some e: [[x collapse.v] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many towers occasionally undergo collapse . t.
Logical form
(many x: [x tower.n]
(occasional e: [e collapse.n]
[x undergo.v e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many towers have a side as a part.
Logical form
(many x: [x tower.n]
(some e: [[x | e] enduring]
(some y: [y side.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.