BASE <#A> {
. {2}; [3] } <#B> @<#A> AND { . {1,3}; . {1,3} } <#C> EXTENDS @<#B> { . }
[3] } <#B> @<#A> AND { . {1,3}; . {1,3} } <#C> EXTENDS @<#B> { . }
. {1,3}; . {1,3} } <#C> EXTENDS @<#B> { . }
. {1,3} } <#C> EXTENDS @<#B> { . }
. }