15 lines
489 B
PkgConfig
15 lines
489 B
PkgConfig
|
Tutti in piedi
|
||
|
|
venga il testimone, Pacciani è amico di 0
|
||
|
|
venga il difensore, Pacciani è amico di 1
|
||
|
|
venga un usciere, Pacciani
|
||
|
|
|
||
|
|
chiamo a testimoniare l' usciere
|
||
|
|
|
||
|
|
allora
|
||
|
|
il difensore è espulso dall'aula
|
||
|
|
venga un segretario, Pacciani è amico del testimone
|
||
|
|
il testimone è amico del difensore
|
||
|
|
il difensore è amico del difensore più il segretario
|
||
|
|
usciere è amico dell' usciere meno 1
|
||
|
|
si calmi, se l' usciere maggiore di 0
|