DCG: prioritezed parsing … based on specificity or context

Question

Given the Grammar below I have 3 questions :

%placeholder : gobble everything
p([]) --> [].
p([H|T]) --> [H], p(T).

struct(isx(A,or(on(B),under(B)))) -