BASE <#A> {

. {2}; [3] } <#B> @<#A> AND {

. {1,3}; . {1,3} } <#C> EXTENDS @<#B> {

. }