Restricted abstractions in layer 1

<Abst name="P" layer="1" side-degree="1" main-degree="0" side-position="0" main-position="1"> SB TP
<Abst name="P" layer="1" side-degree="1" main-degree="0" side-position="1" main-position="1"> SB PP

<Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="0"> SS TT
<Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="1"> SS TP
<Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="0"> SS PT
<Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="1"> SS PP

Restricted abstractions in layer 2

<Abst name="P" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="1"> SB TP
<Abst name="P" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="1"> SB PP

<Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="0"> SS TT
<Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="1"> SS TP
<Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="0"> SS PT
<Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="1"> SS PP

Unrestricted abstractions in layer 1

<Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="0" main-position="0">
<Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="0" main-position="1">
<Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="1" main-position="0">

<Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="0" main-position="0">
<Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="0" main-position="1">
<Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="1" main-position="0">
<Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="1" main-position="1">

<Abst name="Y" layer="1" side-degree="1" main-degree="0" side-position="0" main-position="1">

<Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="0">
<Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="1">
<Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="0">
<Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="1">

Unrestricted abstractions in layer 2

<Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="0" main-position="0">
<Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="0" main-position="1">
<Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="1" main-position="0">
<Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="1" main-position="1">

<Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="0" main-position="0">
<Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="0" main-position="1">
<Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="1" main-position="0">
<Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="1" main-position="1">

<Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="0">
<Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="1">
<Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="0">
<Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="1">

<Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="0">
<Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="1">
<Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="0">
<Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="1">