5c5,6
< A = student(...).
---
> A = student(advisor => faculty(assistant => A,secretary => _A: staff),
>             roommate => employee(representative => _A)).
9,14c10,21
< A = student(...), 
< B = employee(...).
< 
< ------------------9> 
< *** Yes
< A = workstudy(...), 
---
> A = student(advisor => faculty(assistant => A,secretary => _A: staff),
>             roommate => employee(representative => _A)), 
> B = employee(advisor => don(assistant => _B: student,secretary => elena),
>              helper => simon(spouse => _B),
>              roommate => _C: student(representative => _C)).
> 
> ----2> 
> *** Yes
> A = workstudy(advisor => don(assistant => A,
>                              secretary => _A: elena(representative => _A)),
>               helper => simon(spouse => A),
>               roommate => _A), 
17c24
< ----------------------------------17> 
---
> ------3> 
19,20c26,30
< A = student(...), 
< B = employee(...).
---
> A = student(advisor => faculty(assistant => A,secretary => _A: staff),
>             roommate => employee(representative => _A)), 
> B = employee(advisor => don(assistant => _B: student,secretary => elena),
>              helper => simon(spouse => _B),
>              roommate => _C: student(representative => _C)).
22c32
< ------------------9> 
---
> ----2> 
24c34,35
< A = student(...).
---
> A = student(advisor => faculty(assistant => A,secretary => _A: staff),
>             roommate => employee(representative => _A)).
30c41,44
< A = workstudy(...).
---
> A = workstudy(advisor => don(assistant => A,
>                              secretary => _A: elena(representative => _A)),
>               helper => simon(spouse => A),
>               roommate => _A).
38c52,53
< A = student(...).
---
> A = student(advisor => faculty(assistant => A,secretary => _A: staff),
>             roommate => employee(representative => _A)).
42c57,58
< A = student(...).
---
> A = student(advisor => faculty(assistant => A,secretary => _A: staff),
>             roommate => employee(representative => _A)).
44c60
< ------------------9> 
---
> ----2> 
46c62,63
< A = workstudy(...).
---
> A = workstudy(advisor => faculty(assistant => A,secretary => _A: staff),
>               roommate => employee(representative => _A)).
48c65
< ----------------------------------17> 
---
> ------3> 
50c67,68
< A = student(...).
---
> A = student(advisor => faculty(assistant => A,secretary => _A: staff),
>             roommate => employee(representative => _A)).
52c70
< ------------------9> 
---
> ----2> 
54c72,73
< A = student(...).
---
> A = student(advisor => faculty(assistant => A,secretary => _A: staff),
>             roommate => employee(representative => _A)).
