helm/www/lambdadelta/etc/abst.txt

   1 Restricted abstractions in layer 1
   2
   3 <Abst name="P" layer="1" side-degree="1" main-degree="0" side-position="0" main-position="1"> SB TP
   4 <Abst name="P" layer="1" side-degree="1" main-degree="0" side-position="1" main-position="1"> SB PP
   5
   6 <Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="0"> SS TT
   7 <Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="1"> SS TP
   8 <Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="0"> SS PT
   9 <Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="1"> SS PP
  10
  11 Restricted abstractions in layer 2
  12
  13 <Abst name="P" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="1"> SB TP
  14 <Abst name="P" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="1"> SB PP
  15
  16 <Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="0"> SS TT
  17 <Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="1"> SS TP
  18 <Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="0"> SS PT
  19 <Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="1"> SS PP
  20
  21 Unrestricted abstractions in layer 1
  22
  23 <Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="0" main-position="0">
  24 <Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="0" main-position="1">
  25 <Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="1" main-position="0">
  26
  27 <Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="0" main-position="0">
  28 <Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="0" main-position="1">
  29 <Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="1" main-position="0">
  30 <Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="1" main-position="1">
  31
  32 <Abst name="Y" layer="1" side-degree="1" main-degree="0" side-position="0" main-position="1">
  33
  34 <Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="0">
  35 <Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="1">
  36 <Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="0">
  37 <Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="1">
  38
  39 Unrestricted abstractions in layer 2
  40
  41 <Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="0" main-position="0">
  42 <Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="0" main-position="1">
  43 <Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="1" main-position="0">
  44 <Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="1" main-position="1">
  45
  46 <Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="0" main-position="0">
  47 <Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="0" main-position="1">
  48 <Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="1" main-position="0">
  49 <Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="1" main-position="1">
  50
  51 <Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="0">
  52 <Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="1">
  53 <Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="0">
  54 <Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="1">
  55
  56 <Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="0">
  57 <Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="1">
  58 <Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="0">
  59 <Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="1">