18 ::p1(p1(tip))::
19 public()
20 :10000 and public()
21 draft()
22 :10000 and draft()
23 max(::(tip~20) - obsolete())