OR in definitions : depth of embedding (or operator scope)


I. CIDE sv. CLASS

 

IDNUM 12105

HDWD  class

IDENT 1* 0

LEMMA class

POS   n

GRAM  C

GW    TEACHING GROUP

SUBJ  Education

CLASS Group à Time

DEF   a group of students who are taught together at school, college or university, or a short period of teaching of a particular subject

EX1   Which class are you in?

EX2   She gave the whole class extra homework for a week.

EX3   My class was rather noisy this morning.

GRAM3 + sing/pl v

EXPL3 The people in my class

EX4   My class were rather noisy this morning.

GRAM4 + sing/pl v

EXPL4 The people in my class

EX5   Okay, class, settle down and open your books.

GRAM5 as form of address

EX6   My last class ends at 4 o'clock.

EX7   Classes have been cancelled today because of a staff meeting.

EX8   He got in trouble with his teachers because he rarely attended classes.

EX9   I go to an aerobics class every Monday and Thursday evening.

EX10  I've been going to evening classes to improve my German.

SUBJ10      Adult Education > Education

EX11  Which teacher takes your environmental studies class?

COL11.1     [l(1,takes)]

EX12  Which teacher teaches your environmental studies class?

COL12.1     [l(1,teaches)]

EX13  I was told off for talking in class.

COL13.1     [l(1,in)]

 

[a group of students who are taught together at [school, college or university],] or [a short period of teaching of a particular subject]

 

II. Diccionario del estudiante, Real Academia Española, 2005

 

chiste.
1. Historieta, comentario o dibujo, que suelen contener algún juego verbal o conceptual, y cuya intención es hacer reír.
El otro día me contaron un chiste buenísimo. El gran dibujante publicará sus chistes en este diario.

 

[Historieta, comentario o dibujo], que suelen (!!!) contener algún juego [verbal o conceptual], y cuya intención es hacer reír.

 

juego : play (on words = pun) ;

 

a) El otro día me contaron un chiste buenísimo.       OR      b) El gran dibujante publicará sus chistes en este diario.

 

a) chiste (here) = joke

b) dibujante (here) = cartoonist ; chistes (here) = cartoons