Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det step.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 take.v 〈det step.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det step.n〉 in.p 〈det direction.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det way.n〉 have.v 〈det step.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 follow.v 〈det (plur step.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (step dad).
Logical form
[〈det person.n〉 have.v 〈det (nn step.n dad.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det step.n〉 for.p 〈det person.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 step.v (:p by.p (k step.n))]
Learned by reading
See source sentences for this factoid.
A person may have a (step mom).
Logical form
[〈det person.n〉 have.v 〈det (nn step.n mom.n)〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many steps are in a direction.
Logical form
(many x: [x step.n]
(some y: [y direction.n]
[x in.p y]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many ways have a step as a part.
Logical form
(many x: [x way.n]
(some e: [[x | e] enduring]
(some y: [y step.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.
Logical form
(many x: [x step.n]
(some e: [[x | e] enduring]
[[x positive.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.