Full definitions & json format