# This book is not accepted in AUT-QE because [y:'type'] is not allowed
# This book is accepted in lambda-delta with sort inclusion but Omega is not
# valid if sort inclusion is allowed on the term backbone only
# This book is not accepted in AUT-QE because [y:'type'] is not allowed
# This book is accepted in lambda-delta with sort inclusion but Omega is not
# valid if sort inclusion is allowed on the term backbone only