:- op(600,xfx,'=>').
sem([np([quant, 3, _], [sg, _]), Det, N], SemNP) :-
    sem(Det,SemDet), sem(N,SemN),
    SemNP = SemDet * SemN. 
sem([det([quant], [_, sg, _]), [jeder]],
    lam(N,lam(P,all(X,N*X => P*X)))). 
sem([n([mask], [sg, _]), ['Astronom']],
    lam(X,astronom(X))).