(Define input port (multiple in1 in2 in3 in4) )

(Define output port out)

(Permutable in1 in2 in3 in4))

(Instance (qualify mylib or4) Logic model)

(joined in1 (qualify model input1) )

(joined in2 (qualify model input2) )

(joined in3 (qualify model input3) )

(joined in4 (qualify model input4) )

(joined out (qualify model out) )))

(Define input port (multiple in1 in2 in3 in4))

(Define output port out))

(Global in1 in2 in3 in4 out)

(Comment "the global statement is shorthand for five joins only")

(Instance (qualify mylib and4) Logic A4))))

(Defint input port (multpile in secondIn))

(Joined in secondIn)

(Comment "this illustrartes a feedthrough")

(Define output port out))

(Instance (qualify mylib not) Logic mynot)

(Joined in (qualify mynot in))

(Joined out (qualify mynot out1))

(Unused (qualify mynot out2)))))

(Timestamp 1985 2 29 11 30 00)

(Accounting author "Brett")))

(Define inout port (multiple C10 C11 C13 C20 C21 C22 C23))

(Define inout port (multiple SELECTA SELECTB STROBE1 STROBE2))

(Define inout port (multiple Y1 Y2)))

(Define local signal (multiple EX1556 EX1551 EX1546 EX1541))

(Instance OR4 Logic EX1519)

(Joined (qualify ex1519 in1) ex1556)

(Joined (qualify ex1519 in2) ex1551)

(Joined (qualify ex1519 in3) ex1546)

(Joined (qualify ex1519 in4) ex1541)

(Comment "this show the simple minded conversion from a part-oriented netlist description")

(Instance AND4 Logic ex1509)

(Instance AND4 Logic ex1510)

(Instance AND4 Logic ex1511)

(Instance AND4 Logic ex1512)

(Joined (qualify ex1519 in4) (qualify ex1518 in3) (qualify ex1509 out))

(Joined (qualify ex1510 in3) (qualify ex1512 out) ex1551)

(Comment "and so on, until the desired netlist is described"))))