consfalseforallMarked_appappnilandorforsometruexspyxapp(app(and,true),true)trueapp(app(and,x),false)falseapp(app(and,false),y)falseapp(app(or,true),y)trueapp(app(or,x),true)trueapp(app(or,false),false)falseapp(app(forall,p),nil)trueapp(app(forall,p),app(app(cons,x),xs))app(app(and,app(p,x)),app(app(forall,p),xs))app(app(forsome,p),nil)falseapp(app(forsome,p),app(app(cons,x),xs))app(app(or,app(p,x)),app(app(forsome,p),xs))app(app(and,true),true)trueapp(app(and,x),false)falseapp(app(and,false),y)falseapp(app(or,true),y)trueapp(app(or,x),true)trueapp(app(or,false),false)falseapp(app(forall,p),nil)trueapp(app(forall,p),app(app(cons,x),xs))app(app(and,app(p,x)),app(app(forall,p),xs))app(app(forsome,p),nil)falseapp(app(forsome,p),app(app(cons,x),xs))app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(and,app(p,x)),app(app(forall,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(and,app(p,x))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(p,x)Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(forall,p),xs)Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(or,app(p,x))Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(p,x)Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(forsome,p),xs)app(app(and,true),true)trueapp(app(and,x),false)falseapp(app(and,false),y)falseapp(app(or,true),y)trueapp(app(or,x),true)trueapp(app(or,false),false)falseapp(app(forall,p),nil)trueapp(app(forall,p),app(app(cons,x),xs))app(app(and,app(p,x)),app(app(forall,p),xs))app(app(forsome,p),nil)falseapp(app(forsome,p),app(app(cons,x),xs))app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(and,app(p,x)),app(app(forall,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(p,x)Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(forall,p),xs)Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(p,x)Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(forsome,p),xs)true0forsome20or0and0nil0app120Marked_app20forall10false0cons0Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(p,x)Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(p,x)app(app(and,true),true)trueapp(app(and,x),false)falseapp(app(and,false),y)falseapp(app(or,true),y)trueapp(app(or,x),true)trueapp(app(or,false),false)falseapp(app(forall,p),nil)trueapp(app(forall,p),app(app(cons,x),xs))app(app(and,app(p,x)),app(app(forall,p),xs))app(app(forsome,p),nil)falseapp(app(forsome,p),app(app(cons,x),xs))app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(and,app(p,x)),app(app(forall,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(forall,p),xs)Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(forsome,p),xs)app(app(and,true),true)trueapp(app(and,x),false)falseapp(app(and,false),y)falseapp(app(or,true),y)trueapp(app(or,x),true)trueapp(app(or,false),false)falseapp(app(forall,p),nil)trueapp(app(forall,p),app(app(cons,x),xs))app(app(and,app(p,x)),app(app(forall,p),xs))app(app(forsome,p),nil)falseapp(app(forsome,p),app(app(cons,x),xs))app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(and,app(p,x)),app(app(forall,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(forall,p),xs)Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(forsome,p),xs)true0forsome0or0and0nil0app210Marked_app20forall0false0cons0Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(forall,p),xs)Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(forsome,p),xs)app(app(and,true),true)trueapp(app(and,x),false)falseapp(app(and,false),y)falseapp(app(or,true),y)trueapp(app(or,x),true)trueapp(app(or,false),false)falseapp(app(forall,p),nil)trueapp(app(forall,p),app(app(cons,x),xs))app(app(and,app(p,x)),app(app(forall,p),xs))app(app(forsome,p),nil)falseapp(app(forsome,p),app(app(cons,x),xs))app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(and,app(p,x)),app(app(forall,p),xs))Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(or,app(p,x)),app(app(forsome,p),xs))app(app(and,true),true)trueapp(app(and,x),false)falseapp(app(and,false),y)falseapp(app(or,true),y)trueapp(app(or,x),true)trueapp(app(or,false),false)falseapp(app(forall,p),nil)trueapp(app(forall,p),app(app(cons,x),xs))app(app(and,app(p,x)),app(app(forall,p),xs))app(app(forsome,p),nil)falseapp(app(forsome,p),app(app(cons,x),xs))app(app(or,app(p,x)),app(app(forsome,p),xs))Marked_app(app(forall,p),app(app(cons,x),xs))Marked_app(app(and,app(p,x)),app(app(forall,p),xs))Marked_app(app(forsome,p),app(app(cons,x),xs))Marked_app(app(or,app(p,x)),app(app(forsome,p),xs))true0forsome0or0and10nil0app20Marked_app230forall20false0cons20