%   INPUT
%-----------------------------------  
% sizo(..).

sizo(Sizo):-
  bind_scope(_, attachedSizo(Sizo), strong).
  
dict_sizo(Sizo, Id):-
    Id= #sum{ 1, SizoLess : sizo(SizoLess), SizoLess < Sizo};
    sizo(Sizo).

%   connect to latex
%-----------------------------------  
latex_registered_subjects(sizo, Sizo):- sizo(Sizo).

latex_scope_demand(ScopeDemandSizo, sizo):- 
  bind(Target, demand(sizo));
  Target = s(_, _, ScopeDemandSizo).
  
bind_scope(Scope, Sizo, strong):-
  bind_scope(Scope, attachedSizo(Sizo), strong).

%   register late query  
%-----------------------------------  
late(Target, SymbolSizo, (SizoAny), sizo_current(SizoAny)):-     
  bind(Target, demand(sizo));
  Target=s(_, _, TargetS);
  scope_fn(TargetS, Fn);
  cfa_parent(FnBody, function(Fn));
  latex_symbol(Fn, sizo, SymbolSizo);
  sizo(SizoAny).

  
%   IMPLEMENTATION    
%===========================================================  .