Unsharpened Factoids
A (dining room) can be formal.
Logical form
[〈det (nn dining.n room.n)〉 formal.a]
Learned by reading
See source sentences for this factoid.
A (living room) can be formal.
Logical form
[〈det (nn living.n room.n)〉 formal.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur occasion.n)〉 formal.a]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(much x: [x education.n]
[x formal.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(much x: [x training.n]
[x formal.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x dining-room.n]
(some e: [[x | e] enduring]
[[x formal.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x complaint.n]
[x formal.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x living-room.n]
(some e: [[x | e] enduring]
[[x formal.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many announcements are formal.
Logical form
(many x: [x announcement.n]
[x formal.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x occasion.n]
[x formal.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(much x: [x recognition.n]
[x formal.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.