INDUCTIVE DEFINITION land () [ :Prop, :Prop ]
OF ARITY Prop
BUILT FROM:
     conj: A→B→(land A B)