:- op(600,xfx,'=>').

n(lam(X,astronom(X))) --> ['Astronom'].
det(lam(N,lam(P,all(X,N*X => P*X)))) --> [jeder].

np(SemDet*SemN) --> det(SemDet), n(SemN).